Topological Models for Computational Metalanguages

  • Simpson, Alexander (Principal Investigator)

Project Details

Key findings

Showed that a new class of topological spaces, called "qcb spaces", provide a semantic toolkit with unparalleled flexibility for mathematically modelling diverse aspects of computation (higher-order languages, parametric polymorphism, computational effects, computability) in combination.
StatusFinished
Effective start/end date1/10/0330/09/06

Funding

  • EPSRC: £215,307.00