The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http: //homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp

By J. V. Oosten. 2014

86 citations recorded by the source corpus.

Subfields: Geometry and Topology

Citations in the corpus

• Heterogeneous substitution systems revisited (2016, neutral): “Our formalization provides one of the many steps involved, providing a monad structure on an initial algebra of a rank-2 endofunctor.”