Turing-Completeness of Polymorphic Stream Equation Systems. - Christian Sattler; Florent Balestrieri (RTA, 2012)

On the Hierarchy of Univalent Universes: U(n) is not n-Truncated. - Nicolai Kraus; Christian Sattler (CoRR, 2013)

Higher Homotopies in a Hierarchy of Univalent Universes. - Nicolai Kraus; Christian Sattler (ACM Trans. Comput. Log., 2015)

On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes. - Christian Sattler (2015)

Entropy Analysis of Solar Two-Step Thermochemical Cycles for Water and Carbon Dioxide Splitting. - Matthias Lange 003; Martin Roeb; Christian Sattler; Robert Pitz-Paal (Entropy, 2016)

Space-Valued Diagrams, Type-Theoretically (Extended Abstract). - Nicolai Kraus; Christian Sattler (CoRR, 2017)

Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. - Andreas Abel 001; Christian Sattler (PPDP, 2019)

Homotopy Canonicity for Cubical Type Theory. - Thierry Coquand; Simon Huber; Christian Sattler (FSCD, 2019)

Gluing for Type Theory. - Ambrus Kaposi; Simon Huber; Christian Sattler (FSCD, 2019)

Partial Univalence in n-truncated Type Theory. - Christian Sattler; Andrea Vezzosi (LICS, 2020)

Constructing a universe for the setoid model. - Thorsten Altenkirch; Simon Boulier; Ambrus Kaposi; Christian Sattler; Filippo Sestini (FoSSaCS, 2021)

Induction principles for type theories, internally to presheaf categories. - Rafaël Bocquet; Ambrus Kaposi; Christian Sattler (CoRR, 2021)

Constructive sheaf models of type theory. - Thierry Coquand; Fabian Ruch; Christian Sattler (Math. Struct. Comput. Sci., 2021)

Canonicity and homotopy canonicity for cubical type theory. - Thierry Coquand; Simon Huber; Christian Sattler (Log. Methods Comput. Sci., 2022)

Subunit promotion energies for channel opening in heterotetrameric olfactory CNG channels. - Jana Schirmeyer; Thomas Eick; Eckhard Schulz; Sabine Hummert; Christian Sattler; Ralf Schmauder; Klaus Benndorf (PLoS Comput. Biol., 2022)

For the Metatheory of Type Theory, Internal Sconing Is Enough. - Rafaël Bocquet; Ambrus Kaposi; Christian Sattler (FSCD, 2023)

Two-level type theory and applications. - Danil Annenkov; Paolo Capriotti; Nicolai Kraus; Christian Sattler (Math. Struct. Comput. Sci., 2023)

Natural numbers from integers. - Christian Sattler; David Wärn (LICS, 2024)

The equivariant model structure on cartesian cubical sets. - Steve Awodey; Evan Cavallo; Thierry Coquand; Emily Riehl; Christian Sattler (CoRR, 2024)

Two-level type theory and applications - ERRATUM. - Danil Annenkov; Paolo Capriotti; Nicolai Kraus; Christian Sattler (Math. Struct. Comput. Sci., 2024)

MD Source Data for "Subunit-specific conductance of single HCN pacemaker channels at femtosiemens resolution". - Klaus Benndorf; Uta Enke; Debanjan Tewari; Jana Kusch; Haoran Liu; Han Sun; Ralf Schmauder; Christian Sattler (Zenodo, 2024)

MD Source Data for "Subunit-specific conductance of single HCN pacemaker channels at femtosiemens resolution". - Klaus Benndorf; Uta Enke; Debanjan Tewari; Jana Kusch; Haoran Liu; Han Sun; Ralf Schmauder; Christian Sattler (Zenodo, 2024)