![](https://www.pdfsearch.io/img/1974c0690d5224b19ecc6ba2941d7e52.jpg) Date: 2018-03-28 14:04:14
| | Sheaf models of type theory Thierry Coquand Oxford, 8 September 2017 Sheaf models of type theoryAdd to Reading ListSource URL: hott-uf.github.ioDownload Document from Source Website File Size: 152,32 KBShare Document on Facebook
|