- Intersections of compactly many open sets are open
- The Peirce Translation Martin Escardo
- Operational domain theory and topology of a sequential programming language
- To appear in Math. Struct. in Comp. Science Selection Functions, Bar Recursion, and
- A Universal Characterization of the Closed Euclidean Interval (EXTENDED ABSTRACT)
- The Peirce Translation and the Double Negation Shift Martin Escardo1
- MFPS XV Preliminary Version On the compactregular coreflection
- A metric model of PCF First version: 9 March 1998. This version: 7 October 1999.
- A Universal Characterisation of the Closed Euclidean Interval Martn H. Escardo
- Operational domain theory and topology of a sequential programming language
- Sequential Games and Optimal Strategies By Martin Escardo and Paulo Oliva
- Induction and recursion on the partial real line with applications to Real PCF
- Real PCF extended with 9 is universal (Extended Abstract \Lambda
- Function-space compactifications of function spaces Martin H. Escardo
- Algorithmic solution of higher-type equations Martin Escardo
- Computability of continuous solutions of higher-type equations
- Semi-decidability of may, must and probabilistic testing
- Operational domain theory and topology of sequential programming languages
- Semantics of a Sequential Language for Exact Real-Number Computation
- On the computational content of the Lawson topology
- Compactly generated Hausdorff locales Martin Escardo
- On the non-sequential nature of the interval-domain model of real-number computation
- Electronic Notes in Theoretical Computer Science 87 (2004) http://www.elsevier.nl/locate/entcs/volume87.html 150 pages
- Synthetic topology of data types and classical spaces
- Injective locales over perfect embeddings and algebras of the upper powerlocale monad
- To Appear in Mathematical Logic
- Comparing Functional Paradigms for Exact Real-number Computation
- The regular-locally-compact coreflection of a stably locally compact locale
- Integration in Real PCF Abbas Edalat Martin Hotzel Escardo
- MFPS XV Preliminary Version Semantic domains, injective spaces and monads
- Injective spaces via the filter monad Martin Hotzel Escardo
- Induction and recursion on the partial real line via biquotients of bifree algebras
- PCF extended with real numbers Martin Hotzel Escardo
- Notes on compactness Version of 13th September 2005
- Topology via higher-order intuitionistic logic Working version of 18th March 2004
- Introduction to exact numerical computation
- Spatiality of the patch frame Martin H. Escardo
- What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common
- Searchable Sets, Dubuc-Penon Compactness, Omniscience Principles, and the Drinker Paradox
- Integration in Real PCF Abbas Edalat Martin Hotzel Escardo
- The proof of the interpolation property of the way-below relation of a continuous poset
- MFPS XV Preliminary Version Semantic domains, injective spaces and monads
- The proof of the interpolation property of the way-below relation of a continuous poset
- Comparing Functional Paradigms for Exact Real-number Computation
- Searchable sets, Dubuc-Penon compactness, Omniscience Principles, and the Drinker Paradox
- Comparing cartesian closed categories of (core) compactly generated spaces
- Spatiality of the patch frame Mart n H. Escard o
- Electronic Notes in Theoretical Computer Science 10 (1998) URL: http://www.elsevier.nl/locate/entcs/volume10.html 16 pages
- The regularlocallycompact coreflection of a stably locally compact locale
- Semantics of a Sequential Language for Exact RealNumber Computation J. Raymundo MarcialRomero Martn H. Escardo
- Topologies on spaces of continuous functions Mart n Escard o y and Reinhold Heckmann z
- Introduction to Real PCF Mart'in Hotzel Escard'o
- Introduction to Real PCF Martin Hotzel Escardo
- Injective spaces via the filter monad Mart'in Hotzel Escard'o
- Introduction computation
- The patch frame of the Lawson dual of a stably continuous frame
- Properly injective spaces and function spaces Martin Hotzel Escardo
- Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero Martin H. Escardo
- Computational Interpretations of Analysis via Products of Selection Functions
- The way-below relation of function spaces over semantic domains
- The patch frame of the Lawson dual of a stably continuous frame
- Infinite sets that admit fast exhaustive search Martin Escardo
- Notes on compactness Version of 13th September 2005
- MFPS XV Preliminary Version On the compact-regular coreflection
- Electronic Notes in Theoretical Computer Science 10 (1998) URL: http://www.elsevier.nl/locate/entcs/volume10.html 17 pages
- The waybelow relation of function spaces over semantic domains
- Properly injective spaces and function spaces Mart'in Hotzel Escard'o \Lambda
- On the non-sequential nature of the interval-domain model of real-number computation
- Function-space compacti cations of function spaces Mart n H. Escard o
- Comparing cartesian closed categories of (core) compactly generated spaces
- JOINS IN THE FRAME OF NUCLEI MARTIN H. ESCARDO
- A metric model of PCF First version: 9 March 1998. This version: 7 October 1999.
- Publications of Martin H. Escardo, last updated November 27, 2008
- Compactly generated Hausdorff locales Martn Escardo
- A Universal Characterization of the Closed Euclidean Interval (EXTENDED ABSTRACT)
- Electronic Notes in Theoretical Computer Science 87 (2004) http://www.elsevier.nl/locate/entcs/volume87.html 150 pages
- Searchable Sets, Dubuc-Penon Compactness, Omniscience Principles, and the Drinker Paradox
- The patch frame of the Lawson dual of a stably continuous frame
- The regular-locally-compact coreflection of a stably locally compact locale
- Topologies on spaces of continuous functions* Mart'in Escard'oy and Reinhold Heckmannz
- To Appear in Mathematical Logic
- Integration in Real PCF Abbas Edalat Martn Hotzel Escardo
- PCF extended with real numbers Mart'in Hotzel Escard'o
- On the computational content of the Lawson topology
- Kreisel's counter-example to full abstraction of the set-theoretical model of Godel's system T
- Semantics of a Sequential Language for Exact RealNumber Computation
- Induction and recursion on the partial real line with applications to Real PCF
- What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common
- Real PCF extended with is universal (Extended Abstract
- Induction and recursion on the partial real line via biquotients of bifree algebras
- Integration in Real PCF Abbas Edalat Mart'in H"otzel Escard'o
- Integration in Real PCF Abbas Edalat Mart'in H"otzel Escard'o
- 1 Comparing cartesian closed categories of
- On the computational content of the Lawson topology
- A metric model of PCF First version: 9 March 1998. This version: 7 October 1999.
- MFPS XV Preliminary Version Semantic domains, injective spaces and monads
- Notes on compactness Version of 13th September 2005
- JOINS IN THE FRAME OF NUCLEI MART'IN H. ESCARD'O
- Spatiality of the patch frame Mart'in H. Escard'o
- To Appear in Mathematical Logic
- Injective spaces via the filter monad Mart'in H"otzel Escard'o
- Topologies on spaces of continuous functions Martin Escardo
- Induction and recursion on the partial real line via biquotients of bifree algebras
- Computability of continuous solutions of higher-type equations
- JOINS IN THE FRAME OF NUCLEI MART IN H. ESCARD
- Injective locales over perfect embeddings and algebras of the upper powerlocale monad
- The way-below relation of function spaces over semantic domains
- Introduction to Real PCF (Notes)
- MFPS XV Preliminary Version On the compact-regular coreflection
- The proof of the interpolation property of the way-below relation of a continuous poset
- Electronic Notes in Theoretical Computer Science 10 (1998) URL: http://www.elsevier.nl/locate/entcs/volume10.html 17 pages
- Operational domain theory and topology of a sequential programming language
- Compactly generated Hausdorff locales Mart'in Escard'o
- PCF extended with real numbers Mart'in H"otzel Escard'o
- Induction and recursion on the partial real line with applications to Real PCF
- Introduction to exact numerical computation
- Real PCF extended with 9 is universal (Extended Abstract)
- Injective locales over perfect embeddings and algebras of the upper powerlocale monad
- On the non-sequential nature of the interval-domain model of real-number computation
- Semantics of a Sequential Language for Exact Real-Number Computation
- Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero Mart'in H. Escard'o
- Properly injective spaces and function spaces Mart'in H"otzel Escard'o*
- Function-space compactifications of function spaces Mart'in H. Escard'o
- Electronic Notes in Theoretical Computer Science 87 (2004) http://www.elsevier.nl/locate/entcs/volume87.html 150 pages
- A Universal Characterization of the Closed Euclidean Interval (Extended Abstract)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS MARTIN ESCARD O AND PAULO OLIVA
- System T and the Product of Selection Functions Martn Escard1
- Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics
- INFINITE SETS THAT SATISFY THE PRINCIPLE OF OMNISCIENCE IN ALL VARIETIES OF CONSTRUCTIVE MATHEMATICS
