Institute for advanced study (Princeton, N. J.). Univalent Foundations of Mathematics. Homotopy type theory : univalent foundations of mathematics. [Princeton] : The Univalent Foundations Program, [2013]. ©2013.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.