Martin Escardo
Publications
- Published
A constructive manifestation of the Kleene–Kreisel continuous functionals
Martin Escardo, 1 Sep 2016, In: Annals of Pure and Applied Logic. 167, 9, p. 770-793Research output: Contribution to journal › Article › peer-review
- Published
A universal characterization of the closed Euclidean interval
Martin Escardo, 1 Jan 2001, p. 16-19. 4 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Abstract datatypes for real numbers in type theory
Martin Escardo, 2014, Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer, Vol. 8560 LNCS. p. 208-223 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Bar recursion and products of selection functions
Martin Escardo, 1 Mar 2015, In: Journal of Symbolic Logic. 80, 01, p. 1-28 28 p.Research output: Contribution to journal › Article › peer-review
- Published
Compactly generated Hausdorff locales
Martin Escardo, 1 Jan 2006, In: Annals of Pure and Applied Logic. 137, 1-3, p. 147-163 17 p.Research output: Contribution to journal › Article
- Published
Comparing Cartesian closed categories of (core) compactly generated spaces
Martin Escardo, 1 Jan 2004, In: Topology and its Applications. 143, 1-3, p. 105-145 41 p.Research output: Contribution to journal › Article
- Published
Comparing functional paradigms for exact real-number computation
Martin Escardo, 1 Jan 2002, p. 488-500. 13 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Computability of Continuous Solutions of Higher-Type Equations
Martin Escardo, 15 Jul 2009, p. 188-197. 10 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Computational Interpretations of Analysis via Products of Selection Functions
Martin Escardo, 1 Jan 2010, Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings. Ferreira, F., Lowe, B., Mayordomo, E. & Gomes, LM. (eds.). Springer, p. 141-150 (Lecture Notes in Computer Science; vol. 6158).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Constructive decidability of classical continuity
Martin Escardo, 1 Oct 2015, In: Mathematical Structures in Computer Science. 25, Special Issue 7, p. 1578-1589 12 p.Research output: Contribution to journal › Article › peer-review
- Published
Domain Theory in Constructive and Predicative Univalent Foundations
Martin Escardo, 13 Jan 2021, Domain Theory in Constructive and Predicative Univalent Foundations. Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl, Vol. 183. (Leibniz International Proceedings in Informatics (LIPIcs)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Editors' note: bibliometrics and the curators of orthodoxy
Martin Escardo, 1 Feb 2009, In: Mathematical Structures in Computer Science. 19, 1, p. 1-4 4 p.Research output: Contribution to journal › Editorial
- Published
Exhaustible sets in higher-type computation
Martin Escardo, 27 Aug 2008, In: Logical Methods in Computer Science. 4, 3, p. 37 pages 3.Research output: Contribution to journal › Article
- Published
Function-space compactifications of function spaces
Martin Escardo, 15 May 2002, In: Topology and its Applications. 120, 3, p. 441-463 23 p.Research output: Contribution to journal › Article
- Published
In domain realizability, not all functionals on C[-1,1] are continuous
Martin Escardo, 1 Jan 2002, In: Mathematical Logic Quarterly. 48, 1, p. 41-44 4 p.Research output: Contribution to journal › Article
- Published
Infinite sets that admit fast exhaustive search
Martin Escardo, 10 Jul 2007, p. 443-452. 10 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Injective Locales Over Perfect Embeddings and Algebras of the Upper Powerlocale Monad
Martin Escardo, 1 Jan 2003, In: Applied General Topology. 4, 1, p. 193-200 8 p.Research output: Contribution to journal › Article
- E-pub ahead of print
Injective types in univalent mathematics
Martin Escardo, 5 Jan 2021, In: Mathematical Structures in Computer Science. 28 p.Research output: Contribution to journal › Article › peer-review
- Published
Joins in the Frame of Nuclei
Martin Escardo, 1 Jan 2003, In: Applied Categorical Structures. 11, 2, p. 117-124 8 p.Research output: Contribution to journal › Article
- Published
Notions of anonymous existence in Martin-Löf type theory
Martin Escardo, 24 Mar 2017, In: Logical Methods in Computer Science. 13, 1, p. 1-36 36 p., 15.Research output: Contribution to journal › Article › peer-review