Project Details
Description
DO NOT USE - Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
Status | Finished |
---|---|
Effective start/end date | 1/15/21 → 1/16/21 |
Funding
- UNIVERSITY OF CALIFORNIA 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.