Projects per year
Search results
-
Active
-
Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
UNIVERSITY OF SAN DIEGO, USDOD AIR FORCE
1/15/21 → 1/14/25
Project: Research project
-
Finished
DO NOT USE - Synthetic and Constructive Mathematics of Higher Structures in Homotopy Type Theory
UNIVERSITY OF CALIFORNIA SAN DIEGO, USDOD AIR FORCE
1/15/21 → 1/16/21
Project: Research project