Martín Escardó

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 10

Top Topics

Top Venues

Math. Struct. Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Martín Escardó
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T. CoRR (2023)
Martín Escardó, Paulo Oliva
Higher-order games with dependent types. Theor. Comput. Sci. 974 (2023)
Martín Escardó, Paulo Oliva
Higher-order Games with Dependent Types. CoRR (2022)
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
Type Theories with Universe Level Judgements. CoRR (2022)
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
Type Theory with Explicit Universe Polymorphism. TYPES (2022)
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
On generalized algebraic theories and categories with families. Math. Struct. Comput. Sci. 31 (9) (2021)
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
A Note on Generalized Algebraic Theories and Categories with Families. CoRR (2020)
Martín Escardó, Paulo Oliva
The Herbrand Functional Interpretation of the double Negation Shift. J. Symb. Log. 82 (2) (2017)
Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch
Notions of Anonymous Existence in Martin-Löf Type Theory. Log. Methods Comput. Sci. 13 (1) (2017)
Martín Escardó, Chuangjie Xu
A constructive manifestation of the Kleene-Kreisel continuous functionals. Ann. Pure Appl. Log. 167 (9) (2016)
Martín Escardó, Paulo Oliva
Bar Recursion and Products of Selection Functions. J. Symb. Log. 80 (1) (2015)
Ulrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel
Preface. J. Log. Algebraic Methods Program. 84 (1) (2015)
Martín Escardó
Constructive decidability of classical continuity. Math. Struct. Comput. Sci. 25 (7) (2015)
Martín Escardó
Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics. J. Symb. Log. 78 (3) (2013)
Martín Escardó, Paulo Oliva
What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common. MSFP@ICFP (2010)