martin-escardo documents

In Domain Realizability, not all Functionals on C[–1, 1] are Continuous
Documents In Domain Realizability, not all Functionals on C[–1, 1] are Continuous
Synthetic Topology: of Data Types and Classical Spaces
Documents Synthetic Topology: of Data Types and Classical Spaces
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Documents Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Comparing Cartesian closed categories of (core) compactly generated spaces
Documents Comparing Cartesian closed categories of (core) compactly generated spaces
The Peirce translation
Documents The Peirce translation
Operational domain theory and topology of sequential programming languages
Documents Operational domain theory and topology of sequential programming languages