Martin Escardo

Publications

  1. Published

    What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in Common

    Martin Escardo, 25 Sep 2010, p. 21-32. 12 p.

    Research output: Contribution to conference (unpublished)Paper

  2. Published

    Topologies on spaces of continuous functions

    Martin Escardo, 1 Jan 2002, In : Topology Proceedings. 26, 2

    Research output: Contribution to journalArticle

  3. Published

    The regular-locally-compact coreflection of a stably locally compact locale

    Martin Escardo, 8 Mar 2001, In : Journal of Pure and Applied Algebra. 157, 1, p. 41-55 15 p.

    Research output: Contribution to journalArticle

  4. Published

    The intrinsic topology of Martin-Löf universes

    Martin Escardo, 1 Sep 2016, In : Annals of Pure and Applied Logic. 167, 9, p. 794-805

    Research output: Contribution to journalArticlepeer-review

  5. Published

    The extended probabilistic powerdomain monad over stably compact spaces - Extended abstract

    Martin Escardo, 1 Jan 2006, p. 566-575. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  6. Published

    The Peirce translation

    Martin Escardo, 1 Jun 2012, In : Annals of Pure and Applied Logic. 163, 6, p. 681-692 12 p.

    Research output: Contribution to journalArticle

  7. Published

    The Peirce Translation and the Double Negation Shift

    Martin Escardo, 1 Jan 2010, p. 151-161. 11 p.

    Research output: Contribution to conference (unpublished)Paper

  8. Published

    The Inconsistency of a Brouwerian Continuity Principle with the Curry–Howard Interpretation

    Martin Escardo, 1 Jul 2015, 13th International Conference on Typed Lambda Calculi and Applications, Proceedings. Altenkirch, T. (ed.). Schloss Dagstuhl, p. 153-164 (LIPICS - Leibniz International Proceedings in Informatics; vol. 38).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Published

    System T and the Product of Selection Functions

    Martin Escardo, 31 Aug 2011, p. 233-247. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  10. Published

    Synthetic topology of data types and classical spaces

    Martin Escardo, 1 Jan 2004, In : Electronic Notes in Theoretical Computer Science. 87, p. 21-156 136 p.

    Research output: Contribution to journalArticle

  11. Published

    Sequential Games and Optimal Strategies

    Martin Escardo, 8 Jun 2011, In : Royal Society of London. Proceedings A. Mathematical, Physical and Engineering Sciences. 467, 2130, p. 1519-1545 27 p.

    Research output: Contribution to journalArticle

  12. Published

    Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting

    Martin Escardo, 8 Aug 2009, p. 219-242. 24 p.

    Research output: Contribution to conference (unpublished)Paper

  13. Published

    Semantics of a sequential language for exact real-number computation

    Martin Escardo, 1 Jan 2004, p. 426-435. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  14. Published

    Semantics of a sequential language for exact real-number computation

    Martin Escardo, 1 Jun 2007, In : Theoretical Computer Science. 379, 1-2, p. 120-141 22 p.

    Research output: Contribution to journalArticle

  15. Published

    Selection Functions, Bar Recursion and Backward Induction

    Martin Escardo, 1 Apr 2010, In : Mathematical Structures in Computer Science. 20, 2, p. 127-168 42 p.

    Research output: Contribution to journalArticle

  16. Published

    Preface dedicated to Klaus Keimel on the occasion of his 65th birthday

    Martin Escardo, Achim Jung, 1 Apr 2006, In : Mathematical Structures in Computer Science. 16, 2, p. 139-140 2 p.

    Research output: Contribution to journalEditorial

  17. Published

    Partial Elements and Recursion via Dominances in Univalent Type Theory

    Martin Escardo, Sep 2017, Proceedings of 26th EACSL Annual Conference on Computer Science Logic (CSL2017). Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl, 16 p. 21. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. E-pub ahead of print

    Parametricity, automorphisms of the universe, and excluded middle

    Martin Escardo, 27 Jun 2017, Proceedings of 22nd International Conference on Types for Proofs and Programs, TYPES 2016. Schloss Dagstuhl, 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Published

    Operational domain theory and topology of sequential programming languages

    Martin Escardo, 1 Mar 2009, In : Information and Computation. 207, 3, p. 411-437 27 p.

    Research output: Contribution to journalArticle

  20. Published

    Operational domain theory and topolgy of a sequential programming language

    Martin Escardo, 1 Jan 2005, p. 427-436. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  21. Published

    On the non-sequential nature of the interval-domain model of real-number computation

    Martin Escardo, 1 Jan 2004, In : Mathematical Structures in Computer Science. 14, 6, p. 803-814 12 p.

    Research output: Contribution to journalArticle

  22. Published

    On the computational content of the Lawson topology

    Martin Escardo, 25 Jul 2006, In : Theoretical Computer Science. 357, 1-3, p. 230-240 11 p.

    Research output: Contribution to journalArticle

  23. 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 journalArticlepeer-review

  24. 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 journalArticle

  25. Accepted/In press

    Injective types in univalent mathematics

    Martin Escardo, 26 Aug 2020, (Accepted/In press) In : Mathematical Structures in Computer Science. 28 p.

    Research output: Contribution to journalArticlepeer-review

  26. 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 journalArticle

  27. 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

  28. 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 journalArticle

  29. 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 journalArticle

  30. 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 journalArticle

  31. 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 journalEditorial

  32. 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 journalArticlepeer-review

  33. 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 proceedingConference contribution

  34. 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

  35. 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

  36. 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 journalArticle

  37. 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 journalArticle

  38. 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 journalArticlepeer-review

  39. 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 proceedingConference contribution

  40. 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

  41. 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-793

    Research output: Contribution to journalArticlepeer-review