Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
|Effective start/end date||1/15/21 → 1/14/24|
- UNIVERSITY OF SAN DIEGO
- USDOD AIR FORCE
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.