On Final Coalgebras of Power-Set Functors and Saturated Trees: To George Janelidze on the Occasion of His Sixtieth Birthday

Research output: Contribution to journalArticlepeer-review

Research Projects

  1. 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