Homotopy Type Theory: Univalent Foundations of Mathematics

By P. Aczel, Bas Spitters, N. Zeilberger. 2013

229 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/c8b127c3ed1f0d2911d2039a67d220b4501b7e0e