Synthetic G-jet-structures in modal homotopy type theory
Artikel i vetenskaplig tidskrift, 2024
synthetic mathematics
higher differential geometry
Homotopy type theory
Författare
Felix Cherubini
Chalmers, Data- och informationsteknik, Computing Science
Göteborgs universitet
Mathematical Structures in Computer Science
0960-1295 (ISSN) 1469-8072 (eISSN)
Vol. In PressÄmneskategorier
Matematik
Data- och informationsvetenskap
DOI
10.1017/S0960129524000355