Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg - Dependently typed programming - Document - PDFSEARCH.IO

First Page	Meta Content
	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Document Date: 2012-04-24 12:00:17 Open Document File Size: 128,50 KB Share Result on Facebook

Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of GothenburgAdd to Reading List