Martin Escardo

Publications

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

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

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

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

  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

    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

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

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

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

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

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

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

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

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

  21. 2002
  22. 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

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

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

  25. Published

    Topologies on spaces of continuous functions

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

    Research output: Contribution to journalArticle

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

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

Previous 1 2 Next