"Constructive model of homotopy type theory in higher groupoids"
Forskningsprojekt, 2024
– 2028
Beskrivning saknas.
Deltagare
Christian Sattler (kontakt)
Chalmers, Data- och informationsteknik, Computing Science
Finansiering
Amerikanska flygvapnets kontor för strategisk forskning (AFOSR)
Projekt-id: FA95500-24-1-0302
Finansierar Chalmers deltagande under 2024–2028