An introduction to Homotopy Type Theory Nicola Gambino University of Palermo Leicester, March 15th, 2013

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, 2013 Add to Reading List Source URL: www1.maths.leeds.ac.uk Download Document from Source Website File Size: 153,34 KB Share Document on Facebook