Login / Signup
Max Zeuner
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Spatio Temporal
Affine Invariant
Image Representation
Wide Range
Top Venues
Proc. ACM Program. Lang.
CoRR
TYPES
</>
Publications
</>
Max Zeuner
,
Anders Mörtberg
A Univalent Formalization of Constructive Affine Schemes.
TYPES
(2022)
Carlo Angiuli
,
Evan Cavallo
,
Anders Mörtberg
,
Max Zeuner
Internalizing representation independence with univalence.
Proc. ACM Program. Lang.
5 (POPL) (2021)
Carlo Angiuli
,
Evan Cavallo
,
Anders Mörtberg
,
Max Zeuner
Internalizing Representation Independence with Univalence.
CoRR
(2020)