Synthetic topology of data types and classical spaces Mart´ın Escard´o

First Page		Document Content
Date: 2005-07-08 11:02:47 Topological spaces Order theory Mathematical structures Hausdorff space Domain theory Cantor space Denotational semantics Continuous function Stone duality Topology General topology Mathematics		Synthetic topology of data types and classical spaces Mart´ın Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 945,90 KB Share Document on Facebook

	Research Statement: Casey Donoven The Cantor space is the set of all infinite sequences over a finite alaphabet X, which is a both a topological and metric space. My research to date has focused on studying structures re DocID: 1puEv - View Document
	Thompson groups, Cantor space, and foldings of de Bruijn graphs Peter J. Cameron University of St Andrews Breaking the boundaries DocID: 1jwf0 - View Document
	pideals ref.tex April 4, 2007 http://thales.doa.fmph.uniba.sk/sleziak/texty/rozne/trf/pideals/ I’ve put together various notes concerning the notions I will mention in my talk today. Since they are from various areas, DocID: 177nw - View Document
	Electronic Notes in Theoretical Computer Sciencehttp://www.elsevier.nl/locate/entcs/volume87.html 150 pages Synthetic topology of data types and classical spaces Mart´ın Escard´o DocID: 15IzK - View Document
	Continuity in type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK DocID: 11OFF - View Document