Projects per year
Projects
- 4 Finished
Search results
-
Finished
Recursion, guarded recursion and computational effects
Engineering & Physical Science Research Council
1/07/16 → 31/12/19
Project: Research Councils
-
Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation
Engineering & Physical Science Research Council
1/01/08 → 31/12/12
Project: Research Councils
-
Semantics of Nondeterminism
Engineering & Physical Science Research Council
1/12/05 → 31/08/08
Project: Research Councils
-