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

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