Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/04 → 30/04/08 |
Funding
- European Union: £107,000.00
EU Thematic Network TYPES: Computer-assisted reasoning based on type theory
- Luo, Zhaohui (PI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/04 → 30/04/08 |