Edinburgh Research Explorer

Program Synthesis and Transformation using Intuitionist Type Theory and Proof Plans

Project: Other (Non-Funded/Miscellaneous)

StatusFinished
Effective start/end date1/10/90 → 30/09/91
Period1/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.