Skip to main navigation
Skip to search
Skip to main content
Royal Holloway Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Projects
Activities
Prizes
Datasets
Search by expertise, name or affiliation
EU Thematic Network TYPES: Computer-assisted reasoning based on type theory
Luo, Zhaohui
(PI)
Department of Computer Science
Project
:
Research
Overview
Project Details
Status
Finished
Effective start/end date
1/09/04
→
30/04/08
Funding
European Union:
£107,000.00
View all
View less