Cubical Type Theory Anders M¨ ortberg (jww C. Cohen, T. Coquand, and S. Huber) Institute for Advanced Study, Princeton - Type theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Cubical Type Theory Anders M¨ ortberg (jww C. Cohen, T. Coquand, and S. Huber) Institute for Advanced Study, Princeton Add to Reading List Document Date: 2016-07-28 14:37:25 Open Document File Size: 189,25 KB Share Result on Facebook

Cubical Type Theory Anders M¨ ortberg (jww C. Cohen, T. Coquand, and S. Huber) Institute for Advanced Study, PrincetonAdd to Reading List