Martin Escardo

Publications

  1. Conference contribution › Research
  2. Published

    Abstract datatypes for real numbers in type theory

    Martin Escardo, 2014, Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer, Vol. 8560 LNCS. p. 208-223 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

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

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

  4. E-pub ahead of print

    Parametricity, automorphisms of the universe, and excluded middle

    Martin Escardo, 27 Jun 2017, 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

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

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

  7. Paper › Research › Not peer-reviewed
  8. 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

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

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

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

  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

Previous 1 2 3 4 Next