Modelling Cubical Type Theory in Agda

First Page		Document Content
Date: 2016-06-30 09:21:07		Modelling Cubical Type Theory in Agda Add to Reading List Source URL: hott-uf.gforge.inria.fr Download Document from Source Website File Size: 359,42 KB Share Document on Facebook