Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY - A¹ homotopy theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Document Date: 2013-06-19 17:30:09 Open Document File Size: 2,89 MB Share Result on Facebook

Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDYAdd to Reading List