- Home
- About
- Find staff
- Christian Sattler
Christian Sattler
Researcher
Logic and Types (LT)-
Cubical Models of (∞,
1)-Categories
Brandon Doherty, Krzysztof Kapulkin, Zachery Lindsey, Christian Sattler
Memoirs of the American Mathematical Society - 2024 -
Natural numbers from
integers
Christian Sattler, David Wärn
Proceedings - Symposium on Logic in Computer Science - 2024 -
Two-level type theory and
applications
Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
Mathematical Structures in Computer Science - 2023 -
For the Metatheory of Type Theory, Internal Sconing Is
Enough
Rafaël Bocquet, Ambrus Kaposi, Christian Sattler
Leibniz International Proceedings in Informatics, LIPIcs - 2023 -
Canonicity and homotopy canonicity for cubical type
theory
Thierry Coquand, Simon Huber, Christian Sattler
Logical Methods in Computer Science - 2022 -
The effective model structure and ∞-groupoid
objects
Nicola Gambino, Simon Henry, Christian Sattler, Karol Szumiło
Forum of Mathematics, Sigma - 2022 -
The Constructive Kan-Quillen Model Structure: Two New
Proofs
Nicola Gambino, Christian Sattler, Karol Szumiło
Quarterly Journal of Mathematics - 2022 -
Constructing a universe for the setoid
model
Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2021 -
Constructive sheaf models of type
theory
Thierry Coquand, Fabian Ruch, Christian Sattler
Mathematical Structures in Computer Science - 2021 -
Partial Univalence in n-truncated Type
Theory
Christian Sattler, Andrea Vezzosi
ACM International Conference Proceeding Series - 2020 -
Normalization by evaluation for call-by-push-value and polarized lambda
calculus
Andreas Abel, Christian Sattler
ACM International Conference Proceeding Series - 2019 -
Gluing for type
theory
Ambrus Kaposi, Simon Huber, Christian Sattler
Leibniz International Proceedings in Informatics, LIPIcs - 2019 -
Homotopy canonicity for cubical type
theory
Thierry Coquand, Simon Huber, Christian Sattler
Leibniz International Proceedings in Informatics, LIPIcs - 2019 -
The Frobenius condition, right properness, and uniform
fibrations
Nicola Gambino, Christian Sattler
Journal of Pure and Applied Algebra - 2017 -
Higher homotopies in a hierarchy of univalent
universes
Nicolai Kraus, Christian Sattler
ACM Transactions on Computational Logic - 2015 -
Turing-completeness of polymorphic stream equation
systems
Christian Sattler, Florent Balestrieri
Leibniz International Proceedings in Informatics, LIPIcs - 2012