Project Details
Description
Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
| Status | Active |
|---|---|
| Effective start/end date | 1/15/21 → 1/14/27 |
Funding
- UNIVERSITY OF SAN DIEGO
- USDOD AIR FORCE
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.