Eliminating out of Truncations HoTT UF Workshop, Warsaw (mostly based on arXiv:, to appear in TYPES’14) Nicolai Kraus - Nicolaï - Document - PDFSEARCH.IO

First Page		Document Content
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 Kraus Add to Reading List Source URL: hott-uf.gforge.inria.fr Download Document from Source Website File Size: 325,48 KB Share Document on Facebook