Syntax and models of Cartesian cubical type theory
Artikel i vetenskaplig tidskrift, 2021
homotopy type theory
Gluing
Geometry
Syntactics
Glues
cubical type theory
Författare
Carlo Angiuli
Carnegie Mellon University (CMU)
Guillaume Brunerie
Stockholms universitet
Thierry Coquand
Logik och Typer
Robert Harper
Carnegie Mellon University (CMU)
Kuen-Bang Hou Favonia
University of Minnesota
Daniel R. Licata
Wesleyan University
Mathematical Structures in Computer Science
0960-1295 (ISSN) 1469-8072 (eISSN)
Vol. 31 4 424-468 Pii s0960129521000347Ämneskategorier (SSIF 2025)
Algebra och logik
DOI
10.1017/s0960129521000347