Back to Results
First PageMeta Content



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

Document Date: 2013-05-09 12:23:24


Open Document

File Size: 153,34 KB

Share Result on Facebook