Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK - Grothendieck universe - Document - PDFSEARCH.IO

First Page	Meta Content
	Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK Add to Reading List Document Date: 2014-07-02 11:28:23 Open Document File Size: 289,57 KB Share Result on Facebook City Paris / / Facility University of Birmingham / / Organization University of Birmingham / / SocialTag General topology Topos Baire space Continuous function Space Ordinal number Cantor space Grothendieck topology Constructible universe Topology

Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UKAdd to Reading List