Martin Escardo

1 - 20 out of 42Page size: 20
Sort by: Title

Publications

  1. 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 journal › Article › peer-review

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 Next