Thierry Coquand

Publications

• Canonicity and Homotopy Canonicity for Cubical Type Theory. Thierry Coquand, Simon Huber, Christian Sattler. 2022.
• Constructive Sheaf Models of Type Theory. Thierry Coquand, Fabian Ruch, Christian Sattler. 2020.
• On Higher Inductive Types in Cubical Type Theory. Thierry Coquand, Simon Huber, Anders Mörtberg. 2018.
• Cubical Type Theory: A Constructive Interpretation of the Univalence Axiom. Cyril Cohen, Thierry Coquand, Simon Huber, Anders Mörtberg. 2016.