![Functions and mappings / Theoretical computer science / Formal methods / Models of computation / Model theory / Symbol / Lambda calculus / Interpretation / Primitive recursive function / Mathematics / Mathematical logic / Computability theory Functions and mappings / Theoretical computer science / Formal methods / Models of computation / Model theory / Symbol / Lambda calculus / Interpretation / Primitive recursive function / Mathematics / Mathematical logic / Computability theory](https://www.pdfsearch.io/img/bb403ec0a7bac89f69918fb720b3f1b1.jpg) Date: 2009-02-12 13:02:39Functions and mappings Theoretical computer science Formal methods Models of computation Model theory Symbol Lambda calculus Interpretation Primitive recursive function Mathematics Mathematical logic Computability theory | | 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 ListSource URL: www.paultaylor.euDownload Document from Source Website File Size: 532,55 KBShare Document on Facebook
|