Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg - Contractible space - 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-05-03 11:20:55 Open Document File Size: 111,00 KB Share Result on Facebook Facility Constructive Mathematics Thierry Coquand University of Gothenburg Univalent Foundations Type / / Organization Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Univalent Foundations Type / / Person Brouwer / / SocialTag Topological spaces Contractible space Homotopy Connected space Continuous function Topology General topology Homotopy theory

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