Martin Escardo

Publications

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

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

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

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

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

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

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

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

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

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