Matthias Hutzler

According to our database, Matthias Hutzler authored at least 2 papers in 2024.

Collaborative distances:

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

2024

A foundation for synthetic algebraic geometry.

Felix Cherubini, Thierry Coquand, Matthias Hutzler

Math. Struct. 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