![](https://www.pdfsearch.io/img/7658ce25b4fcb767872e6f50899ae479.jpg) Date: 2015-09-28 09:04:32
| | Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015Add to Reading ListSource URL: www1.maths.leeds.ac.ukDownload Document from Source Website File Size: 165,75 KBShare Document on Facebook
|