EU Thematic Network TYPES: Computer-assisted reasoning based on type theory

Project: Research

StatusFinished
Effective start/end date1/09/0430/04/08

Funding

European Union: £107,000

ID: 21702278