Max Zeuner

According to our database, Max Zeuner authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory.

Iosif Petrakis, Max Zeuner

Log. Methods Comput. Sci., 2024

The Functor of Points Approach to Schemes in Cubical Agda.

Max Zeuner, Matthias Hutzler

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022

A Univalent Formalization of Constructive Affine Schemes.

Max Zeuner, Anders Mörtberg

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

2021

Internalizing representation independence with univalence.

Carlo Angiuli, Evan Cavallo, Anders Mörtberg, Max Zeuner

Proc. ACM Program. Lang., 2021