Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List Document Date: 2009-02-12 13:02:39 Open Document File Size: 532,55 KB Share Result on Facebook Facility towers of Σs / / IndustryTerm finite products / minimalisation operator / search-terms / associativity law / search operation / / Person Paul Taylor / Georg Cantor / Alan Turing / Eugenio Moggi / Steven Vickers / Felix Hausdorff / Andrew Appel / Peter Selinger / Guy Steele / / Position producer / / ProvinceOrState South Carolina / / Technology Java / / SocialTag Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics

Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational Add to Reading List