Back to Results
First PageMeta Content



Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015
Add to Reading List

Document Date: 2015-09-28 09:04:32


Open Document

File Size: 165,75 KB

Share Result on Facebook