First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 153,34 KBShare Document on Facebook |