Constructive sheaf models of type theory
Artikel i vetenskaplig tidskrift, 2021
homotopy type theory
left-exact modalities
Dependent type theory
constructive models of univalence
sheaf models
Författare
Thierry Coquand
Chalmers, Data- och informationsteknik, Datavetenskap
Fabian Ruch
Chalmers, Data- och informationsteknik, Datavetenskap
Christian Sattler
Chalmers, Data- och informationsteknik, Datavetenskap
Mathematical Structures in Computer Science
0960-1295 (ISSN) 1469-8072 (eISSN)
Vol. 31 9 979-1002Ämneskategorier
Algebra och logik
Geometri
Sannolikhetsteori och statistik
DOI
10.1017/S0960129521000359