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	Meta Content
	Eliminating out of Truncations HoTT/UF Workshop, Warsaw (mostly based on arXiv:, to appear in TYPES’14) Nicolai Kraus Add to Reading List Document Date: 2015-07-04 05:53:36 Open Document File Size: 325,48 KB Share Result on Facebook

Eliminating out of Truncations HoTT/UF Workshop, Warsaw (mostly based on arXiv:, to appear in TYPES’14) Nicolai KrausAdd to Reading List