Homotopy canonicity for cubical type theory
Paper i proceeding, 2019
Författare
Thierry Coquand
Logik och Typer
Simon Huber
Chalmers, Data- och informationsteknik, Datavetenskap
Christian Sattler
Logik och Typer
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 131 11:1-11:23, ,
Ämneskategorier
Algebra och logik
Datavetenskap (datalogi)
DOI
10.4230/LIPIcs.FSCD.2019.11