Project Details
| Short title | Homotopy type theory as a language for directed infinite-dimensional structure (Nicolai Kraus) |
|---|---|
| Status | Active |
| Effective start/end date | 1/10/19 → 30/09/24 |
Funding
- The Royal Society
Homotopy type theory as a language for directed infinite-dimensional structure (Nicolai Kraus)
- Kraus, Nicolai (Principal Investigator)