Paul Levy

1 - 4 out of 4Page size: 10
Sort by: Start date

Research Projects

  1. Recursion, guarded recursion and computational effects

    Paul Levy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/07/16 → 31/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/08 → 31/12/12

    Project: Research Councils

  3. Semantics of Nondeterminism

    Paul Levy

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/12/05 → 31/08/08

    Project: Research Councils

  4. Denotational Semantics of Nondetermination

    Paul Levy

    THE NUFFIELD FOUNDATION

    1/07/04 → 30/06/06

    Project: Research