A Cubical Type Theory Simon Huber (j.w.w. Cyril Cohen, Thierry Coquand, Anders M¨ortberg) University of Gothenburg HoTT UF 2015 - Gothenburg - Document - PDFSEARCH.IO

First Page	Meta Content
	A Cubical Type Theory Simon Huber (j.w.w. Cyril Cohen, Thierry Coquand, Anders M¨ortberg) University of Gothenburg HoTT/UF 2015 Add to Reading List Document Date: 2015-07-02 06:10:09 Open Document File Size: 183,21 KB Share Result on Facebook

A Cubical Type Theory Simon Huber (j.w.w. Cyril Cohen, Thierry Coquand, Anders M¨ortberg) University of Gothenburg HoTT/UF 2015Add to Reading List