Models and Axioms for the Semantics of Computation

  • Simpson, Alexander (Principal Investigator)

Project Details

Key findings

1. The development of "topological domain theory", a generalisation of the classical domain theory of Scott that includes a wider collection of topological spaces than usually considered. This feature allows topological domains to be closed under a wider collection of computationally important constructions than classical domains.
2. Establishing "synthetic domain theory" as the most powerful known approach to obtaining a general axiomatic account of domain-theoretic models.
3. Developing novel proof-theoretic methods for reasoning with inductive definitions based on using cyclic proofs by ~infinite descent~ rather than the standard proofs by induction.
Effective start/end date1/10/0130/09/06


  • EPSRC: £241,366.00


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.