| EP/M023974/1 | Compositional Higher-Order Model Checking: Logics, Models and Algorithms | (P) |
| EP/F036361/1 | Game semantics, recursion schemes and collapsible pushdown automata: a new approach to the algorithmics of infinite structures | (P) |
| EP/D037085/1 | Centre for Metacomputation | (C) |
| EP/C514645/1 | Pushdown Automata and Game Semantics | (P) |
| GR/R88861/01 | Algorithmic game semantics and its applications | (C) |
| GR/L27787/01 | UNIFORM GAME SEMANTICS FOR COMPUTATION AND REASONING | (P) |
| GR/L55438/01 | DOMAIN THEORY, CONTROL OPERATORS AND CLASSICAL PROOFS | (P) |
| GR/J97366/01 | SYSTEMATIC PROGRAMMING SEMANTICS | (P) |