Martín Escardó

17 papers Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism.
CoRR
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
2023 J jnl
Higher-order games with dependent types.
Theor. Comput. Sci.
Martín Escardó, Paulo Oliva
2023 J jnl
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T.
CoRR
Martín Escardó
2022 J jnl
Higher-order Games with Dependent Types.
CoRR
Martín Escardó, Paulo Oliva
2022 J jnl
Type Theories with Universe Level Judgements.
CoRR
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
2022 — conf
Type Theory with Explicit Universe Polymorphism.
TYPES
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
2021 J jnl
On generalized algebraic theories and categories with families.
Math. Struct. Comput. Sci.
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
2020 J jnl
A Note on Generalized Algebraic Theories and Categories with Families.
CoRR
Marc Bezem, Thierry Coquand, Peter Dybjer, Martín Escardó
2017 J jnl
Notions of Anonymous Existence in Martin-Löf Type Theory.
Log. Methods Comput. Sci.
Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch
2017 J jnl
The Herbrand Functional Interpretation of the double Negation Shift.
J. Symb. Log.
Martín Escardó, Paulo Oliva
2016 J jnl
A constructive manifestation of the Kleene-Kreisel continuous functionals.
Ann. Pure Appl. Log.
Martín Escardó, Chuangjie Xu
2015 J jnl
Bar Recursion and Products of Selection Functions.
J. Symb. Log.
Martín Escardó, Paulo Oliva
2015 J jnl
Constructive decidability of classical continuity.
Math. Struct. Comput. Sci.
Martín Escardó
2015 J jnl
Preface.
J. Log. Algebraic Methods Program.
Ulrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel
2013 J jnl
Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics.
J. Symb. Log.
Martín Escardó
2010 — conf
What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common.
MSFP@ICFP
Martín Escardó, Paulo Oliva
2004 — ed.
Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002
Workshop on Domains
Martín Escardó, Achim Jung