| Two-level type theory and applications D Annenkov, P Capriotti, N Kraus, C Sattler arXiv preprint arXiv:1705.03307, 2017 | 74 | 2017 |
| The Frobenius condition, right properness, and uniform fibrations N Gambino, C Sattler Journal of Pure and Applied Algebra 221 (12), 3027-3068, 2017 | 64 | 2017 |
| The equivalence extension property and model structures C Sattler arXiv preprint arXiv:1704.06911, 2017 | 38 | 2017 |
| Gluing for type theory A Kaposi, S Huber, C Sattler 4th International Conference on Formal Structures for Computation and …, 2019 | 37 | 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 |
| Two-Level Type Theory and Applications.(2017) D Annenkov, P Capriotti, N Kraus, C Sattler URL: http://arxiv. org/abs/1705.03307, 2017 | 7 | 2017 |
| Constructing a universe for the setoid model. T Altenkirch, S Boulier, A Kaposi, C Sattler, F Sestini FoSSaCS, 1-21, 2021 | 6 | 2021 |
