Projects per year
Projects
- 2 Finished
Search results
-
Finished
Semantic Types for Verified Program Behaviour
Laird, J. (PI)
28/02/14 → 31/07/17
Project: Research council
-
Semantic Structures for Higher-Order Information Flow
Laird, J. (PI)
20/06/10 → 19/06/12
Project: Research council