![](https://www.pdfsearch.io/img/748ec2fa3688809439e0187f341ffe3c.jpg) Date: 2013-05-09 12:23:24
| | An introduction to Homotopy Type Theory Nicola Gambino University of Palermo Leicester, March 15th, 2013Add to Reading ListSource URL: www1.maths.leeds.ac.ukDownload Document from Source Website File Size: 153,34 KBShare Document on Facebook
|