Homotopy Type Theory: Univalent Foundations of Mathematics. - Program, The Univalent Foundations (Institute for Advanced Study, 2013)

Homotopy Type Theory: Univalent Foundations of Mathematics. - Program, The Univalent Foundations (CoRR, 2013)