Christian Sattler

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 21

Top Venues

CoRR

Math. Struct. Comput. Sci.

FSCD

LICS

University of Nottingham, UK (PHD)

Education History

University of Nottingham, UK

PHD

Publications

Steve Awodey, Evan Cavallo, Thierry Coquand, Emily Riehl, Christian Sattler
The equivariant model structure on cartesian cubical sets. CoRR (2024)
Christian Sattler, David Wärn
Natural numbers from integers. CoRR (2024)
Christian Sattler, David Wärn
Natural numbers from integers. LICS (2024)
Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
Two-level type theory and applications - ERRATUM. Math. Struct. Comput. Sci. 34 (1) (2024)
Rafaël Bocquet, Ambrus Kaposi, Christian Sattler
For the Metatheory of Type Theory, Internal Sconing Is Enough. FSCD (2023)
Rafaël Bocquet, Ambrus Kaposi, Christian Sattler
For the Metatheory of Type Theory, Internal Sconing Is Enough. CoRR (2023)
Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler
Two-level type theory and applications. Math. Struct. Comput. Sci. 33 (8) (2023)
Thierry Coquand, Simon Huber, Christian Sattler
Canonicity and homotopy canonicity for cubical type theory. Log. Methods Comput. Sci. 18 (1) (2022)
Jana Schirmeyer, Thomas Eick, Eckhard Schulz, Sabine Hummert, Christian Sattler, Ralf Schmauder, Klaus Benndorf
Subunit promotion energies for channel opening in heterotetrameric olfactory CNG channels. PLoS Comput. Biol. 18 (8) (2022)
Rafaël Bocquet, Ambrus Kaposi, Christian Sattler
Induction principles for type theories, internally to presheaf categories. CoRR (2021)
Thierry Coquand, Fabian Ruch, Christian Sattler
Constructive sheaf models of type theory. Math. Struct. Comput. Sci. 31 (9) (2021)
Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini
Constructing a universe for the setoid model. FoSSaCS (2021)
Christian Sattler, Andrea Vezzosi
Partial Univalence in n-truncated Type Theory. CoRR (2020)
Christian Sattler, Andrea Vezzosi
Partial Univalence in n-truncated Type Theory. LICS (2020)
Thierry Coquand, Simon Huber, Christian Sattler
Homotopy Canonicity for Cubical Type Theory. FSCD (2019)
Thierry Coquand, Simon Huber, Christian Sattler
Homotopy canonicity for cubical type theory. CoRR (2019)
Ambrus Kaposi, Simon Huber, Christian Sattler
Gluing for Type Theory. FSCD (2019)
Andreas Abel, Christian Sattler
Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus. CoRR (2019)
Andreas Abel, Christian Sattler
Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. PPDP (2019)
Nicolai Kraus, Christian Sattler
Space-Valued Diagrams, Type-Theoretically (Extended Abstract). CoRR (2017)
Matthias Lange, Martin Roeb, Christian Sattler, Robert Pitz-Paal
Entropy Analysis of Solar Two-Step Thermochemical Cycles for Water and Carbon Dioxide Splitting. Entropy 18 (1) (2016)
Nicolai Kraus, Christian Sattler
Higher Homotopies in a Hierarchy of Univalent Universes. ACM Trans. Comput. Log. 16 (2) (2015)
Nicolai Kraus, Christian Sattler
On the Hierarchy of Univalent Universes: U(n) is not n-Truncated. CoRR (2013)
Christian Sattler, Florent Balestrieri
Turing-Completeness of Polymorphic Stream Equation Systems. RTA (2012)

Christian Sattler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Sattler