The Functor of Points Approach to Schemes in Cubical Agda. - Max Zeuner; Matthias Hutzler (ITP, 2024)

A foundation for synthetic algebraic geometry. - Felix Cherubini; Thierry Coquand; Matthias Hutzler (Math. Struct. Comput. Sci., 2024)