Homotopy type theory and the formalization of mathematics

摘要

Egbert Rijke is a PhD student at Carnegie Mellon University, working on homotopy type theory. Bas Spitters is associate professor at Aarhus university, working on type theory, topos theory and proof assistants. Both authors participated in the Univalent Foundations Program.