You are here

Overview of Homotopy Type Theory and the Univalent Foundations of Mathematics

Choose the citation style.
Dunn, L. (2014). An Overview of Homotopy Type Theory and the Univalent Foundations of Mathematics. Retrieved from http://purl.flvc.org/fsu/fd/FSU_migr_uhm-0304
PREVIEW Datastream
Choose the citation style.
Dunn, L. (2014). An Overview of Homotopy Type Theory and the Univalent Foundations of Mathematics. Retrieved from http://purl.flvc.org/fsu/fd/FSU_migr_uhm-0304

In Collections