Institute for Advanced Study. (2013). Homotopy type theory: Univalent foundations of mathematics. Univalent Foundations Program.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումInstitute for Advanced Study. Homotopy Type Theory: Univalent Foundations of Mathematics. [Princeton, N.J.]: Univalent Foundations Program, 2013.
MLA (8րդ խմբ.) ՄեջբերումInstitute for Advanced Study. Homotopy Type Theory: Univalent Foundations of Mathematics. Univalent Foundations Program, 2013.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.