Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

First Page		Document Content
Date: 2012-04-26 12:08:36 Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function		Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Download Document from Source Website File Size: 110,89 KB Share Document on Facebook

	Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015 DocID: 1uLwU - View Document
	Il programma “Univalent Foundations of Mathematics” di Vladimir Voevodsky Nicola Gambino Universit` a degli Studi di Palermo DocID: 1ubSQ - View Document
	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg DocID: 1rnzm - View Document
	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations DocID: 1r4G4 - View Document
	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg DocID: 1ovzM - View Document