News
About
Studying
Research
Alumni
Global
Students
Staff
Schools & departments
Search the Research Explorer
Search the full site
Search for people
Contact us
University Homepage
Research
Explorer home
Projects
Program Synthesis and Transformation using Intuitionist Type Theory an...
Explorer home
Staff
Research projects
Research outputs
Research activities
Colleges & Schools
Prizes
Research press coverage
Datasets
Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans
Project
:
Other (Non-Funded/Miscellaneous)
Bundy, Alan
(Principal Investigator)
School of Informatics
Status
Finished
Effective start/end date
1/10/90
→
30/09/91
Period
1/10/90
→
30/09/91
Description
SERC visiting fellowship grants GR/F/69703 and GR/G/35565 for Prof. Dr. Christian Horn from Berlin, Germany, £15,575.