Martín Hötzel Escardó
University of Birmingham
H-index: 28
Europe-United Kingdom
Top articles of Martín Hötzel Escardó
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The Patch Topology in Univalent Foundations | arXiv preprint arXiv:2402.03134 | Igor Arrieta Martín Hötzel Escardó Ayberk Tosun | 2024/2/5 |
Higher-order games with dependent types | Theoretical Computer Science | Martín Escardó Paulo Oliva | 2023/9/29 |
On small types in univalent foundations | Logical Methods in Computer Science | Tom De Jong Martín Hötzel Escardó | 2023/5/4 |
Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T | arXiv preprint arXiv:2303.11075 | Martin Escardo | 2023/3/16 |
Patch locale of a spectral locale in univalent type theory | Electronic Notes in Theoretical Informatics and Computer Science | Ayberk Tosun Martín Hötzel Escardó | 2023/2/22 |
Domain theory in constructive and predicative univalent foundations | arXiv preprint arXiv:2301.12405 | Tom de Jong | 2023/1/29 |
Categories of compact and compactly generated Hausdorff locales over a base topos | Martín Hötzel Escardó | 2022/12/28 | |
Type theory with explicit universe polymorphism | arXiv preprint arXiv:2212.03284 | Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó | 2022/12/6 |
Type Theories with Universe Level Judgments | CoRR | Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó | 2022 |
Predicative aspects of order theory in univalent foundations | arXiv preprint arXiv:2102.08812 | Tom De Jong Martín Hötzel Escardó | 2021/2/17 |
29th EACSL Annual Conference on Computer Science Logic (CSL 2021) | Bartek Klin Assia Mahboubi Sylvain Schmitz Linda Westrick Samson Abramsky | 2021/1 | |
Injective types in univalent mathematics | Mathematical Structures in Computer Science | Martín Hötzel Escardó | 2021/1 |
On generalized algebraic theories and categories with families | Mathematical Structures in Computer Science | Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó | 2021/10 |
The Cantor–Schröder–Bernstein Theorem for -groupoids | Journal of Homotopy and Related Structures | Martín Hötzel Escardó | 2021/9 |
Intersections of compactly many open sets are open | arXiv preprint arXiv:2001.06050 | Martín Hötzel Escardó | 2020/1/16 |
A Note on Generalized Algebraic Theories and Categories with Families | arXiv preprint arXiv:2012.08370 | Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó | 2020/12/15 |
The Cantor-Schr\"oder-Bernstein Theorem for -groupoids | arXiv preprint arXiv:2002.07079 | Martín Hötzel Escardó | 2020/2/13 |