Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/06 → 30/09/09 |
Funding
- Leverhulme Trust: £56,235.00
Type-theoretic foundation of mathematical pluralism
- Luo, Zhaohui (PI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/06 → 30/09/09 |