Projects per year
Projects
- 6 Finished
Search results
-
Finished
Games and Differential Nets for Concurrent Systems
Laird, J. (PI), Guglielmi, A. (CoI), McCusker, G. (CoI) & Power, J. (CoI)
1/08/15 → 30/11/17
Project: Research council
-
Semantic Types for Verified Program Behaviour
Laird, J. (PI)
Engineering and Physical Sciences Research Council
28/02/14 → 31/07/17
Project: Research council
-
Sharing and Sequentiality in Proof Systems with Locality
Guglielmi, A. (PI), Bruscoli, P. (CoI), Laird, J. (CoI), McCusker, G. (CoI) & Power, J. (CoI)
29/03/12 → 30/06/14
Project: Research council
-
Graph Models of Functional, Imperative and Logic Programming
McCusker, G. (PI), Guglielmi, A. (CoI), Laird, J. (CoI) & Power, J. (CoI)
20/01/11 → 31/01/14
Project: Research council
-
Semantic Structures for Higher-Order Information Flow
Laird, J. (PI)
Engineering and Physical Sciences Research Council
20/06/10 → 19/06/12
Project: Research council
-
Denotational Semantics for Evaluation Behaviour of Programs
McCusker, G. (PI), Laird, J. (CoI) & Power, J. (CoI)
31/03/08 → 30/03/10
Project: Central government, health and local authorities