Edinburgh Research Explorer
  1. A Theory of Effects for Programming Languages

    Plotkin, G.

    EPSRC

    1/03/0431/10/08

    Project: Research

  2. F/SHIP - DR DANIELE TURI

    Plotkin, G.

    EU government bodies

    19/06/9718/06/99

    Project: Research

  3. Mathematical Structural Operational Semantics

    Plotkin, G.

    EPSRC

    15/02/0614/02/08

    Project: Research

  4. Milner Symposium 2012

    Plotkin, G., Fourman, M., Gilmore, S. & Hillston, J.

    BBSRC

    16/04/1215/01/13

    Project: Research

  5. Models of Concurrency

    Plotkin, G.

    EPSRC

    1/09/0331/05/04

    Project: Research

  6. RULE

    Danos, V. & Plotkin, G.

    EU government bodies

    1/02/1331/01/18

    Project: Research

  7. Royal Society Wolfson Research Merit Award

    Morris, R. & Plotkin, G.

    Other (Learned Society)

    1/11/0531/12/10

    Project: Research

Previous 1 2 Next