APA (7th ed.) Citation

Institute for Advanced Study (Princeton, NJ). (2013). Homotopy type theory: Univalent foundations of mathematics.

Chicago Style (17th ed.) Citation

Institute for Advanced Study (Princeton, NJ). Homotopy Type Theory: Univalent Foundations of Mathematics. Lulu Press, 2013.

MLA (9th ed.) Citation

Institute for Advanced Study (Princeton, NJ). Homotopy Type Theory: Univalent Foundations of Mathematics. 2013.

Warning: These citations may not always be 100% accurate.