Recent publications
Article
Escardo, MH 2021, 'Injective types in univalent mathematics', Mathematical Structures in Computer Science. https://doi.org/10.1017/S0960129520000225
Escardo, M 2021, 'The Cantor–Schröder–Bernstein Theorem for ∞-groupoids', Journal of Homotopy and Related Structures. 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 & 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
Escardó, M 2015, 'Constructive decidability of classical continuity', Mathematical Structures in Computer Science, vol. 25, no. Special Issue 7, pp. 1578-1589. https://doi.org/10.1017/S096012951300042X
Conference contribution
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
Escardo, M & Xu, C 2015, The Inconsistency of a Brouwerian Continuity Principle with the Curry–Howard Interpretation. in T Altenkirch (ed.), 13th International Conference on Typed Lambda Calculi and Applications, Proceedings. LIPICS - Leibniz International Proceedings in Informatics, vol. 38, Schloss Dagstuhl, pp. 153-164, 13th International Conference on Typed Lambda Calculi and Applications, Warsaw, Poland, 1/07/15. https://doi.org/10.4230/LIPIcs.TLCA.2015.153
Escardó, MH & Simpson, A 2014, Abstract datatypes for real numbers in type theory. in G Dowek (ed.), 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. vol. 8560 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8560 LNCS, Springer, pp. 208-223, 25th International Conference on Rewriting Techniques and Applications, RTA 2014 and 12th International Conference on Typed Lambda Calculus and Applications, TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, 14/07/14. https://doi.org/10.1007/978-3-319-08918-8-15
Editorial
Berger, U, Blanck, J, Escardó, M & Keimel, K 2015, 'Preface', Journal of Logical and Algebraic Methods in Programming, vol. 84, no. 1, pp. 107. https://doi.org/10.1016/j.jlamp.2014.11.003
Paper
Escardó, M & Xu, C 2014, 'A constructive manifestation of the Kleene–Kreisel continuous functionals', Paper presented at 11th International Conference on Computability and Complexity in Analysis, CCA 2014, Darmstadt, Germany, 21/07/14 - 24/07/14 pp. 4-6.
View all publications in research portal