![](https://www.pdfsearch.io/img/4a0d6864d4043086b495e71378c47b8a.jpg) Date: 2018-03-28 14:04:14
| | MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, anAdd to Reading ListSource URL: hott-uf.github.ioDownload Document from Source Website File Size: 205,77 KBShare Document on Facebook
|