Research output per year
Research output per year
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
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Editorial › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to conference (unpublished) › Paper › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
Research output: Contribution to conference (unpublished) › Paper
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to journal › Editorial
Research output: Contribution to journal › Article
Research output: Contribution to conference (unpublished) › Paper
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
Research output: Contribution to journal › Editorial › peer-review
Research output: Contribution to journal › Editorial
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to journal › Article
Research output: Contribution to journal › Conference article › peer-review