Martin Escardo

Publications

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

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

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

  5. E-pub ahead of print

    Parametricity, automorphisms of the universe, and excluded middle

    Martin Escardo, 27 Jun 2017, (E-pub ahead of print) 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

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

  7. Accepted/In press

    Predicative Aspects of Order Theory in Univalent Foundations

    Martin Escardo, 19 Apr 2021, (Accepted/In press) Predicative Aspects of Order Theory in Univalent Foundations. Schloss Dagstuhl, (LIPIcs: Leibniz International Proceedings in Informatics; vol. 195).

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

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

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

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