Research output per year
Research output per year
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.
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/03 → 30/09/06 |
| Links | http://homepages.inf.ed.ac.uk/als/Research/topological-domain-theory.html |
Funding
- EPSRC: £215,307.00
Fingerprint
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.
-
A Convenient Category of Domains
Battenfeld, I., Schröder, M. & Simpson, A., 2007, In: Electronic Notes in Theoretical Computer Science. 172, p. 69-99 31 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Two preservation results for countable products of sequential spaces
Schröder, M. & Simpson, A., 2007, In: Mathematical Structures in Computer Science. 17, 1, p. 161-172 12 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Coalgebraic Semantics for Timed Processes
Kick, M., Power, J. & Simpson, A., 2006, In: Information and Computation. 204, 4, p. 588-609 22 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile