Back to Results
First PageMeta Content
Domain theory / Stone duality / Continuous function / Cantor space / Discrete space / Hausdorff space / Compact space / Space / Denotational semantics / Topology / General topology / Topological spaces


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
Add to Reading List

Open Document

File Size: 948,76 KB

Share Result on Facebook

City

Birmingham / /

Country

United Kingdom / 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 / Abramsky / Achim Jung / Thomas Anberree / Steve Vickers / Ho Weng Kin / Thomas Streicher / Alex Simpson / Raymundo Marcial-Romero / Reinhold Heckmann / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / /

Technology

functional programming / /

URL

http /

SocialTag