Canonicity and homotopy canonicity for cubical type theory
Artikel i vetenskaplig tidskrift, 2022
univalence
sconing
cubical type theory
canonicity
Artin glueing
Författare
Thierry Coquand
Göteborgs universitet
Simon Huber
Göteborgs universitet
Christian Sattler
Chalmers, Data- och informationsteknik, Computing Science
Logical Methods in Computer Science
18605974 (eISSN)
Vol. 18 1 35Bevisteori och semantik för homotopitypteori i högre ordningens kategorier
Vetenskapsrådet (VR) (2019-03765), 2020-01-01 -- 2023-12-31.
Ämneskategorier
Algebra och logik
Beräkningsmatematik
Datavetenskap (datalogi)
DOI
10.46298/LMCS-18(1:28)2022