Paul Levy

Research Projects

  1. Recursion, guarded recursion and computational effects

    Paul Levy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/1631/12/19

    Project: Research Councils

  2. Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation

    Paul Levy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/01/0831/12/12

    Project: Research Councils

  3. Semantics of Nondeterminism

    Paul Levy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/0531/08/08

    Project: Research Councils

  4. Denotational Semantics of Nondetermination

    Paul Levy

    THE NUFFIELD FOUNDATION

    1/07/0430/06/06

    Project: Research