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
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 |