Back to Results
First PageMeta Content



Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds Univalent Type Theory
Add to Reading List

Document Date: 2016-08-05 03:49:47


Open Document

File Size: 137,55 KB

Share Result on Facebook
UPDATE