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