Homotopy type theory : univalent foundations of mathematics

MLA

Awodey, Steve, et al. Homotopy type theory : univalent foundations of mathematics. First edition. [Princeton, New Jersey] : Univalent Foundations Program, Institute for Advanced Study, [2013]

APA

Awodey, S., Coquand, T., Voevodsky, V. & Institute for Advanced Study (Princeton, N. (2013). Homotopy type theory : univalent foundations of mathematics. First edition. [Princeton, New Jersey] : Univalent Foundations Program, Institute for Advanced Study.

Chicago

Awodey, Steve, Thierry Coquand, Vladimir Voevodsky and N.J.). Institute for Advanced Study (Princeton. Homotopy type theory : univalent foundations of mathematics. First edition. [Princeton, New Jersey] : Univalent Foundations Program, Institute for Advanced Study, [2013]