![](https://www.pdfsearch.io/img/e1b45563df7d1e3bd94ad55ad59a16e2.jpg) Date: 2013-06-21 07:27:06
| | Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDYAdd to Reading ListSource URL: hottheory.files.wordpress.comDownload Document from Source Website File Size: 2,89 MBShare Document on Facebook
|