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
DO NOT USE - Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
- Favonia, F. (PI)
Project: Research project