Back to Results
First PageMeta Content



Sheaf models of type theory Thierry Coquand Oxford, 8 September 2017 Sheaf models of type theory
Add to Reading List

Document Date: 2018-03-28 14:04:14


Open Document

File Size: 152,32 KB

Share Result on Facebook
UPDATE