Martin Escardo

Publications

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

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

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

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

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

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

  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

    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

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

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