Martin Escardo

Dr.

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.

20012021

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

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or