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

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where Martin Escardo is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

29 Article
12 Paper
10 Conference contribution
4 Editorial
More
- 2 Conference article

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
59 Downloads (Pure)
Injective types in univalent mathematics
Escardo, M. H., 5 Jan 2021, (E-pub ahead of print) In: Mathematical Structures in Computer Science. 31, 1, p. 89-111 28 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
168 Downloads (Pure)
On generalized algebraic theories and categories with families
Bezem, M., Coquand, T., Dybjer, P. & Escardo, M., 18 Oct 2021, (E-pub ahead of print) In: Mathematical Structures in Computer Science. 18 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
29 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

51 Downloads (Pure)
The Cantor–Schröder–Bernstein Theorem for ∞-groupoids
Escardo, M., Sept 2021, In: Journal of Homotopy and Related Structures. 16, 3, p. 363-366 4 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
92 Downloads (Pure)

3 Finished

H2020_RISE_CID_PARTNER
Jung, A. & Escardo, M.
European Commission
1/04/17 → 31/03/23
Project: EU
Security Tutorial Day at MFPS 21
Jung, A. & Escardo, M.
Engineering & Physical Science Research Council
4/05/05 → 3/08/05
Project: Research Councils
European Science Exchange Programme Joint Project
Jung, A. & Escardo, M.
The Royal Society
1/03/01 → 28/02/03
Project: Research

Martin Escardo

Fingerprint

Research output

Projects