Martin Escardo

Publications

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

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

  3. Published

    The Inconsistency of a Brouwerian Continuity Principle with the Curry–Howard Interpretation

    Martin Escardo, 1 Jul 2015, 13th International Conference on Typed Lambda Calculi and Applications, Proceedings. Altenkirch, T. (ed.). Schloss Dagstuhl, p. 153-164 (LIPICS - Leibniz International Proceedings in Informatics; vol. 38).

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

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

  5. Published

    The Peirce translation

    Martin Escardo, 1 Jun 2012, In : Annals of Pure and Applied Logic. 163, 6, p. 681-692 12 p.

    Research output: Contribution to journalArticle

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

  7. Published

    The intrinsic topology of Martin-Löf universes

    Martin Escardo, 1 Sep 2016, In : Annals of Pure and Applied Logic. 167, 9, p. 794-805

    Research output: Contribution to journalArticle

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

  9. Published

    Topologies on spaces of continuous functions

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

    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

Previous 1 2 3 4 Next