Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
authors
Thierry Coquand
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.