Παρακολούθηση
Christian Sattler
Christian Sattler
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα chalmers.se
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Two-level type theory and applications
D Annenkov, P Capriotti, N Kraus, C Sattler
arXiv preprint arXiv:1705.03307, 2017
742017
The Frobenius condition, right properness, and uniform fibrations
N Gambino, C Sattler
Journal of Pure and Applied Algebra 221 (12), 3027-3068, 2017
642017
The equivalence extension property and model structures
C Sattler
arXiv preprint arXiv:1704.06911, 2017
382017
Gluing for type theory
A Kaposi, S Huber, C Sattler
4th International Conference on Formal Structures for Computation and …, 2019
372019
Homotopy canonicity for cubical type theory
T Coquand, S Huber, C Sattler
4th International Conference on Formal Structures for Computation and …, 2019
282019
Higher homotopies in a hierarchy of univalent universes
N Kraus, C Sattler
ACM Transactions on Computational Logic (TOCL) 16 (2), 1-12, 2015
212015
Constructive sheaf models of type theory
T Coquand, F Ruch, C Sattler
Mathematical Structures in Computer Science 31 (9), 979-1002, 2021
152021
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
132022
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
132019
On the directed univalence axiom
E Riehl, E Cavallo, C Sattler
Talk slides, AMS Special Session on Homotopy Type Theory, Joint Mathematics …, 2018
122018
Space-valued diagrams, type-theoretically
N Kraus, C Sattler
arXiv preprint arXiv:1704.04543, 2017
122017
Cubical models of -categories
B Doherty, C Kapulkin, Z Lindsey, C Sattler
arXiv preprint arXiv:2005.04853, 2020
112020
Two-level type theory and applications
D Annenkov, P Capriotti, N Kraus, C Sattler
Mathematical Structures in Computer Science 33 (8), 688-743, 2023
102023
Uniform fibrations and the Frobenius condition
N Gambino, C Sattler
arXiv preprint arXiv:1510.00669, 2015
102015
Relative induction principles for type theories
R Bocquet, A Kaposi, C Sattler
arXiv preprint arXiv:2102.11649, 2021
92021
For the metatheory of type theory, internal sconing is enough
R Bocquet, A Kaposi, C Sattler
arXiv preprint arXiv:2302.05190, 2023
82023
Canonicity and homotopy canonicity for cubical type theory
T Coquand, S Huber, C Sattler
Logical Methods in Computer Science 18, 2022
72022
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
Constructing a universe for the setoid model.
T Altenkirch, S Boulier, A Kaposi, C Sattler, F Sestini
FoSSaCS, 1-21, 2021
62021
Two-Level Type Theory and Applications.(2017)
D Annenkov, P Capriotti, N Kraus, C Sattler
URL: http://arxiv. org/abs/1705.03307, 2017
62017
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20