Recent publications
Article
Escardó, M & Oliva, P 2023, 'Higher-order games with dependent types', Theoretical Computer Science, vol. 974, 114111. https://doi.org/10.1016/j.tcs.2023.114111
De Jong, T & Escardó, MH 2023, 'On small types in univalent foundations', Logical Methods in Computer Science, vol. 19, no. 2, pp. 8:1-8:33. https://doi.org/10.46298/LMCS-19(2:8)2023
Escardo, MH 2021, 'Injective types in univalent mathematics', Mathematical Structures in Computer Science, vol. 31, no. 1, pp. 89-111. https://doi.org/10.1017/S0960129520000225
Bezem, M, Coquand, T, Dybjer, P & Escardo, M 2021, 'On generalized algebraic theories and categories with families', Mathematical Structures in Computer Science. https://doi.org/10.1017/S0960129521000268
Escardo, M 2021, 'The Cantor–Schröder–Bernstein Theorem for ∞-groupoids', Journal of Homotopy and Related Structures, vol. 16, no. 3, pp. 363-366. https://doi.org/10.1007/s40062-021-00284-6
Kraus, N, Escardo, M, Coquand, T & Altenkirch, T 2017, 'Notions of anonymous existence in Martin-Löf type theory', Logical Methods in Computer Science, vol. 13, no. 1, 15, pp. 1-36. https://doi.org/10.23638/LMCS-13(1:15)2017
Escardó, M & Oliva, P 2017, 'The herbrand functional interpretation of the double negation shift', Journal of Symbolic Logic, vol. 82, no. 2, pp. 590-607. https://doi.org/10.1017/jsl.2017.8
Escardó, M & Xu, C 2016, 'A constructive manifestation of the Kleene–Kreisel continuous functionals', Annals of Pure and Applied Logic, vol. 167, no. 9, pp. 770-793. https://doi.org/10.1016/j.apal.2016.04.011
Escardó, MH & Streicher, T 2016, 'The intrinsic topology of Martin-Löf universes', Annals of Pure and Applied Logic, vol. 167, no. 9, pp. 794-805. https://doi.org/10.1016/j.apal.2016.04.010
Escardó, M & Oliva, P 2015, 'Bar recursion and products of selection functions', Journal of Symbolic Logic, vol. 80, no. 01, pp. 1-28. https://doi.org/10.1017/jsl.2014.82
Conference contribution
Bezem, M, Coquand, T, Dybjer, P & Escardó, M 2023, Type Theory with Explicit Universe Polymorphism. in D Kesner & P-M Pedrot (eds), 28th International Conference on Types for Proofs and Programs, TYPES 2022., 13, Leibniz International Proceedings in Informatics, LIPIcs, vol. 269, Schloss Dagstuhl, pp. 13:1-13:16, 28th International Conference on Types for Proofs and Programs, TYPES 2022, Nantes, France, 20/06/22. https://doi.org/10.4230/LIPIcs.TYPES.2022.13
De Jong, T & Escardo, M 2021, Domain theory in constructive and predicative univalent foundations. in C Baier & J Goubault-Larrecq (eds), 29th EACSL Annual Conference on Computer Science Logic, CSL 2021., 28, Leibniz International Proceedings in Informatics, LIPIcs, vol. 183, Schloss Dagstuhl, 29th EACSL Annual Conference on Computer Science Logic , Ljubljana, Slovenia, 25/01/21. https://doi.org/10.4230/LIPIcs.CSL.2021.28
De Jong, T & Escardo, M 2021, Predicative aspects of order theory in univalent foundations. in N Kobayashi (ed.), 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)., 8, LIPIcs: Leibniz International Proceedings in Informatics, vol. 195, Schloss Dagstuhl, 6th International Conference on Formal Structures for Computation and Deduction
, 17/07/21. https://doi.org/10.4230/LIPIcs.FSCD.2021.8
Booij, A, Escardo, M, Lumsdaine, PL & Shulman, M 2018, Parametricity, automorphisms of the universe, and excluded middle. in H Geuvers, J Ivetic & S Ghilezan (eds), Proceedings of 22nd International Conference on Types for Proofs and Programs, TYPES 2016. Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl, 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23/05/16. https://doi.org/10.4230/LIPIcs.TYPES.2016.7
Escardo, M & Knapp, C 2017, Partial Elements and Recursion via Dominances in Univalent Type Theory. in V Goranko & M Dam (eds), Proceedings of 26th EACSL Annual Conference on Computer Science Logic (CSL2017)., 21, Leibniz International Proceedings in Informatics (LIPIcs), vol. 82, Schloss Dagstuhl, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden, 20/08/17. https://doi.org/10.4230/LIPIcs.CSL.2017.21
View all publications in research portal