Følg
Christian Sattler
Titel
Citeret af
Citeret af
År
Two-level type theory and applications
D Annenkov, P Capriotti, N Kraus, C Sattler
arXiv preprint arXiv:1705.03307, 2017
592017
The Frobenius condition, right properness, and uniform fibrations
N Gambino, C Sattler
Journal of Pure and Applied Algebra 221 (12), 3027-3068, 2017
502017
The equivalence extension property and model structures
C Sattler
arXiv preprint arXiv:1704.06911, 2017
312017
Gluing for type theory
A Kaposi, S Huber, C Sattler
4th International Conference on Formal Structures for Computation and …, 2019
272019
Homotopy canonicity for cubical type theory
T Coquand, S Huber, C Sattler
4th International Conference on Formal Structures for Computation and …, 2019
272019
Higher homotopies in a hierarchy of univalent universes
N Kraus, C Sattler
ACM Transactions on Computational Logic (TOCL) 16 (2), 1-12, 2015
192015
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
122022
On the directed univalence axiom
E Riehl, E Cavallo, C Sattler
Talk slides, AMS Special Session on Homotopy Type Theory, Joint Mathematics …, 2018
122018
Constructive sheaf models of type theory
T Coquand, F Ruch, C Sattler
Mathematical Structures in Computer Science 31 (9), 979-1002, 2021
112021
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
112019
Uniform fibrations and the Frobenius condition
N Gambino, C Sattler
arXiv preprint arXiv:1510.00669, 2015
102015
Space-valued diagrams, type-theoretically
N Kraus, C Sattler
arXiv preprint arXiv:1704.04543, 2017
92017
Cubical models of -categories
B Doherty, C Kapulkin, Z Lindsey, C Sattler
arXiv preprint arXiv:2005.04853, 2020
82020
Do cubical models of type theory also model homotopy types
C Sattler
Talk at Workshop on Types, Homotopy Type theory, and Verification at …, 2018
72018
Relative induction principles for type theories
R Bocquet, A Kaposi, C Sattler
arXiv preprint arXiv:2102.11649, 2021
52021
Constructing a universe for the setoid model.
T Altenkirch, S Boulier, A Kaposi, C Sattler, F Sestini
FoSSaCS, 1-21, 2021
42021
The effective model structure and-groupoid objects
N Gambino, S Henry, C Sattler, K Szumiło
Forum of Mathematics, Sigma 10, e34, 2022
32022
Canonicity and homotopy canonicity for cubical type theory
T Coquand, S Huber, C Sattler
arXiv preprint arXiv:1902.06572, 2019
32019
Idempotent completion of cubes in posets
C Sattler
arXiv preprint arXiv:1805.04126, 2018
32018
On the hierarchy of univalent universes: U (n) is not n-truncated
N Kraus, C Sattler
arXiv preprint arXiv:1311.4002, 2013
32013
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20