Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans

Project Details

Description

SERC visiting fellowship grants GR/F/69703 and GR/G/35565 for Prof. Dr. Christian Horn from Berlin, Germany, £15,575.
StatusFinished
Effective start/end date1/10/9030/09/91

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.