Martin Escardo

Publications

  1. 2017
  2. Published

    Partial Elements and Recursion via Dominances in Univalent Type Theory

    Martin Escardo & Knapp, C., 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

  3. E-pub ahead of print

    Parametricity, automorphisms of the universe, and excluded middle

    Booij, A., Martin Escardo, Lumsdaine, P. L. & Shulman, M., 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

  4. Published

    Notions of Anonymous Existence in Martin-Löf Type Theory

    Kraus, N., Martin Escardo, Coquand, T. & Altenkirch, T., 24 Mar 2017, In : Logical Methods in Computer Science. 13, 1, p. 1-36

    Research output: Contribution to journalArticle

  5. 2016
  6. Published

    A constructive manifestation of the Kleene–Kreisel continuous functionals

    Martin Escardo & Xu, C., 1 Sep 2016, In : Annals of Pure and Applied Logic. 167, 9, p. 770-793

    Research output: Contribution to journalArticle

  7. Published

    The intrinsic topology of Martin-Löf universes

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

    Research output: Contribution to journalArticle

  8. 2015
  9. Published

    Constructive decidability of classical continuity

    Martin Escardo, 1 Oct 2015, In : Mathematical Structures in Computer Science. 25, Special Issue 7, p. 1578-1589 12 p.

    Research output: Contribution to journalArticle

  10. Published

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

    Martin Escardo & Xu, C., 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

  11. Published

    Bar recursion and products of selection functions

    Martin Escardo & Oliva, P., 1 Mar 2015, In : Journal of Symbolic Logic. 80, 01, p. 1-28 28 p.

    Research output: Contribution to journalArticle

  12. 2014
  13. Published

    Abstract datatypes for real numbers in type theory

    Martin Escardo & Simpson, A., 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

  14. 2012
  15. Published

    The Peirce translation

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

    Research output: Contribution to journalArticle

Previous 1 2 3 4 Next