Two-level type theory and applications D Annenkov, P Capriotti, N Kraus, C Sattler
arXiv preprint arXiv:1705.03307, 2017
75 2017 The Frobenius condition, right properness, and uniform fibrations N Gambino, C Sattler
Journal of Pure and Applied Algebra 221 (12), 3027-3068, 2017
65 2017 The equivalence extension property and model structures C Sattler
arXiv preprint arXiv:1704.06911, 2017
39 2017 Gluing for type theory A Kaposi, S Huber, C Sattler
4th International Conference on Formal Structures for Computation and …, 2019
38 2019 Homotopy canonicity for cubical type theory T Coquand, S Huber, C Sattler
4th International Conference on Formal Structures for Computation and …, 2019
28 2019 Higher homotopies in a hierarchy of univalent universes N Kraus, C Sattler
ACM Transactions on Computational Logic (TOCL) 16 (2), 1-12, 2015
21 2015 Constructive sheaf models of type theory T Coquand, F Ruch, C Sattler
Mathematical Structures in Computer Science 31 (9), 979-1002, 2021
15 2021 The constructive Kan–Quillen model structure: two new proofs N Gambino, C Sattler, K Szumiło
The Quarterly Journal of Mathematics 73 (4), 1307-1373, 2022
13 2022 Normalization by evaluation for call-by-push-value and polarized lambda calculus A Abel, C Sattler
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
13 2019 On the directed univalence axiom E Riehl, E Cavallo, C Sattler
Talk slides, AMS Special Session on Homotopy Type Theory, Joint Mathematics …, 2018
12 2018 Space-valued diagrams, type-theoretically N Kraus, C Sattler
arXiv preprint arXiv:1704.04543, 2017
12 2017 Cubical models of -categories B Doherty, C Kapulkin, Z Lindsey, C Sattler
arXiv preprint arXiv:2005.04853, 2020
11 2020 Two-level type theory and applications D Annenkov, P Capriotti, N Kraus, C Sattler
Mathematical Structures in Computer Science 33 (8), 688-743, 2023
10 2023 Uniform fibrations and the Frobenius condition N Gambino, C Sattler
arXiv preprint arXiv:1510.00669, 2015
10 2015 Relative induction principles for type theories R Bocquet, A Kaposi, C Sattler
arXiv preprint arXiv:2102.11649, 2021
9 2021 For the metatheory of type theory, internal sconing is enough R Bocquet, A Kaposi, C Sattler
arXiv preprint arXiv:2302.05190, 2023
8 2023 Canonicity and homotopy canonicity for cubical type theory T Coquand, S Huber, C Sattler
Logical Methods in Computer Science 18, 2022
7 2022 Do cubical models of type theory also model homotopy types C Sattler
Talk at Workshop on Types, Homotopy Type theory, and Verification at …, 2018
7 2018 Constructing a universe for the setoid model. T Altenkirch, S Boulier, A Kaposi, C Sattler, F Sestini
FoSSaCS, 1-21, 2021
6 2021 Two-Level Type Theory and Applications.(2017) D Annenkov, P Capriotti, N Kraus, C Sattler
URL: http://arxiv. org/abs/1705.03307, 2017
6 2017