![](https://www.pdfsearch.io/img/89c8122a7eee5878ad249730352cd848.jpg) Date: 2015-07-04 05:53:36
| | Eliminating out of Truncations HoTT/UF Workshop, Warsaw (mostly based on arXiv:, to appear in TYPES’14) Nicolai KrausAdd to Reading ListSource URL: hott-uf.gforge.inria.frDownload Document from Source Website File Size: 325,48 KBShare Document on Facebook
|