Not registered as user yet

Name:Max Zeuner
Affiliation:Stockholm University

Contributions

POPL 2021 Author of Internalizing Representation Independence with Univalence within the POPL-track