Paul Levy
Research Projects
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
Denotational Semantics of Nondetermination
THE NUFFIELD FOUNDATION
1/07/04 → 30/06/06
Project: Research