Homotopy canonicity for cubical type theory
Paper in proceeding, 2019
Author
Thierry Coquand
Logic and Types
Simon Huber
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Christian Sattler
Logic and Types
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 131 11:1-11:23, ,
Subject Categories
Algebra and Logic
Computer Science
DOI
10.4230/LIPIcs.FSCD.2019.11