Canonicity and homotopy canonicity for cubical type theory

From MaRDI portal
Publication:5028486

zbMath1486.03027arXiv1902.06572MaRDI QIDQ5028486

Simon Huber, Thierry Coquand, Christian Sattler

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/1902.06572




Related Items


Uses Software


Cites Work