Synthetic topology of data types and classical spaces Mart´ın Escard´o - Cantor space - Document - PDFSEARCH.IO

First Page	Meta Content
	Synthetic topology of data types and classical spaces Mart´ın Escard´o Add to Reading List Document Date: 2005-07-08 11:02:47 Open Document File Size: 945,90 KB Share Result on Facebook City Birmingham / / Country Barbados / / Facility Nottingham University / Bellairs Research Institute of McGill University / University of Birmingham / / IndustryTerm non-trivial computational applications / / Organization Mart´ın Escard´o School of Computer Science / Bellairs Research Institute / Graduate School / McGill University / Nottingham University / Computing Science and Appsem Spring School / University of Birmingham / / Person Paul Taylor / Achim Jung / Thomas Anberree / Steve Vickers / Ho Weng Kin / Alex Simpson / Raymundo Marcial-Romero / Reinhold Heckmann / / Technology functional programming / / SocialTag Topological spaces Order theory Mathematical structures Hausdorff space Domain theory Cantor space Denotational semantics Continuous function Stone duality Topology

Synthetic topology of data types and classical spaces Mart´ın Escard´oAdd to Reading List