![](https://www.pdfsearch.io/img/255d048268218c6e8f7fdd7a70f7801f.jpg) Date: 2016-08-05 03:49:47
| | Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds Univalent Type TheoryAdd to Reading ListSource URL: www.cse.chalmers.seDownload Document from Source Website File Size: 137,55 KBShare Document on Facebook
|