"Constructive model of homotopy type theory in higher groupoids"
Research Project, 2024
– 2028
Description missing.
Participants
Christian Sattler (contact)
Chalmers, Computer Science and Engineering (Chalmers), Computing Science
Funding
US Air Force Office of Strategic Research (AFOSR)
Project ID: FA95500-24-1-0302
Funding Chalmers participation during 2024–2028