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.
1996 …2023
Research activity per year
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.