Institute for Advanced Study (Princeton, NJ). (2013). Homotopy type theory: Univalent foundations of mathematics. Lulu Press.
Chicago-Zitierstil (17. Ausg.)Institute for Advanced Study (Princeton, NJ). Homotopy Type Theory: Univalent Foundations of Mathematics. Princeton, NJ: Lulu Press, 2013.
MLA-Zitierstil (9. Ausg.)Institute for Advanced Study (Princeton, NJ). Homotopy Type Theory: Univalent Foundations of Mathematics. Lulu Press, 2013.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.