Skip to main navigation
Skip to search
Skip to main content
the University of Bath's research portal Home
Help & FAQ
Home
Profiles
Research output
Projects
Datasets
Student theses
Equipment
Research units
Activities
Prizes
Search by expertise, name or affiliation
Denotational Semantics for Evaluation Behaviour of Programs
McCusker, Guy
(PI)
Laird, James
(CoI)
Power, John
(CoI)
Department of Computer Science
Mathematical Foundations of Computation
Project
:
Central government, health and local authorities
Overview
Project Details
Status
Finished
Effective start/end date
31/03/08
→
30/03/10
Funding
The British Council
View all
View less