Martin Escardo

Accepting PhD Students

PhD projects

Martín Escardó’s current research interests include topological methods in the theory of computation, in particular: topology in higher-type computability theory; topology for functional programming; domains and continuous lattices in analysis and topology; effective and constructive real analysis; exact real-number computation; locale theory; programming language semantics; domain theory; lambda calculus; type theory; and functional programming.

Research activity per year

39 Article
14 Conference contribution
12 Paper
7 Conference article
More
- 4 Editorial

14 results

Filter

2023
Type Theory with Explicit Universe Polymorphism
Bezem, M., Coquand, T., Dybjer, P. & Escardó, M., 27 Jul 2023, 28th International Conference on Types for Proofs and Programs, TYPES 2022. Kesner, D. & Pedrot, P-M. (eds.). Schloss Dagstuhl, p. 13:1-13:16 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 269).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
1 Downloads (Pure)
2021
Domain theory in constructive and predicative univalent foundations
De Jong, T. & Escardo, M., 13 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl, 18 p. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
67 Downloads (Pure)
Predicative aspects of order theory in univalent foundations
De Jong, T. & Escardo, M., 6 Jul 2021, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). Kobayashi, N. (ed.). Schloss Dagstuhl, 18 p. 8. (LIPIcs: Leibniz International Proceedings in Informatics; vol. 195).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

57 Downloads (Pure)
2018

Parametricity, automorphisms of the universe, and excluded middle
Booij, A., Escardo, M., Lumsdaine, P. L. & Shulman, M., 1 Oct 2018, Proceedings of 22nd International Conference on Types for Proofs and Programs, TYPES 2016. Geuvers, H., Ivetic, J. & Ghilezan, S. (eds.). Schloss Dagstuhl, 15 p. (Leibniz International Proceedings in Informatics (LIPIcs)).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
2017
Partial Elements and Recursion via Dominances in Univalent Type Theory
Escardo, M. & Knapp, C., Sept 2017, Proceedings of 26th EACSL Annual Conference on Computer Science Logic (CSL2017). Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl, 16 p. 21. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
6 Citations (Scopus)
2015
The Inconsistency of a Brouwerian Continuity Principle with the Curry–Howard Interpretation
Escardo, M. & Xu, C., 1 Jul 2015, 13th International Conference on Typed Lambda Calculi and Applications, Proceedings. Altenkirch, T. (ed.). Schloss Dagstuhl, p. 153-164 (LIPICS - Leibniz International Proceedings in Informatics; vol. 38).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
21 Citations (Scopus)
2014
Abstract datatypes for real numbers in type theory
Escardó, M. H. & Simpson, A., 2014, 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. Dowek, G. (ed.). Springer, Vol. 8560 LNCS. p. 208-223 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus)
2013
A constructive model of uniform continuity
Xu, C. & Escardó, M., 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 236-349 114 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7941 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
10 Citations (Scopus)
Generalizations of Hedberg's theorem
Kraus, N., Escardó, M., Coquand, T. & Altenkirch, T., 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 173-188 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7941 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
10 Citations (Scopus)
2010

Computational Interpretations of Analysis via Products of Selection Functions
Escardo, M. & Oliva, P., 1 Jan 2010, Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings. Ferreira, F., Lowe, B., Mayordomo, E. & Gomes, LM. (eds.). Springer, p. 141-150 (Lecture Notes in Computer Science; vol. 6158).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

13 Citations (Scopus)
2009

Theory and Practice of Higher-type Computation (Tutorial)
Escardó, M., Nov 2009, Proceedings of the 6th International Conference on Computability and Complexity in Analysis, CCA 2009. Bauer, A., Hertling, P. & Ko, K-I. (eds.). Schloss Dagstuhl, p. 21 1 p. (OpenAccess Series in Informatics; vol. 11).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)
2006
The extended probabilistic powerdomain monad over stably compact spaces
Cohen, B., Escardo, M. & Keimel, K., 2006, Theory and Applications of Models of Computation - Third International Conference, TAMC 2006, Proceedings. p. 566-575 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3959 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1998
Calculus in coinductive form
Pavlović, D. & Escardó, M. H., 1998, Proceedings - 13th Annual IEEE Symposium on Logic in Computer Science, LICS 1998. Institute of Electrical and Electronics Engineers (IEEE), p. 408-417 10 p. (Proceedings - Symposium on Logic in Computer Science; vol. 1998-June).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1996
Integration in real PCF
Edalat, A. & Escardo, M. H., 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. IEEE, p. 382-393 12 p. (Proceedings - Symposium on Logic in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Martin Escardo

Research output

Search results