Christian Sattler

Publications

• Canonicity and Homotopy Canonicity for Cubical Type Theory. Thierry Coquand, Simon Huber, Christian Sattler. 2022.
• Cubical Models of (∞, 1)-Categories. Brandon Doherty, Chris Kapulkin, Zachery Lindsey, Christian Sattler. 2022.
• The Constructive Kan-Quillen Model Structure: Two New Proofs. Nicola Gambino, Christian Sattler, Karol Szumiło. 2021.
• Constructive Sheaf Models of Type Theory. Thierry Coquand, Fabian Ruch, Christian Sattler. 2020.