Martin Escardo

Publications

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

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

  5. 2015
  6. Published

    Bar recursion and products of selection functions

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

    Research output: Contribution to journalArticle

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

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

  9. 2016
  10. Published

    A constructive manifestation of the Kleene–Kreisel continuous functionals

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

    Research output: Contribution to journalArticle

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

  12. 2017
  13. Published

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

    Martin Escardo, 24 Mar 2017, In : Logical Methods in Computer Science. 13, 1, p. 1-36

    Research output: Contribution to journalArticle

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

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

Previous 1 2 3 4 Next