Martín Escardó's research page

My current research interests include exact real number computation, real and interval analysis, analytic topology, topological methods in computer science, domain theory, semantics of programming laguages, lambda-calculus and PCF, sequentiality. The following picture of myself was taken during the first CCA Workshop by Vasco Brattka, when I was talking about PCF extended with real numbers:

Previous page
Martin Escardo
Last modified: Wed Sep 29 13:10:58 BST 1999