Christian Sattler

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