Christian Sattler

According to our database, Christian Sattler authored at least 18 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Two-level type theory and applications - ERRATUM.

Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler

Math. Struct. Comput. Sci., 2024

2023

Two-level type theory and applications.

Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler

Math. Struct. Comput. Sci., 2023

For the Metatheory of Type Theory, Internal Sconing Is Enough.

Rafaël Bocquet, Ambrus Kaposi, Christian Sattler

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

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

Canonicity and homotopy canonicity for cubical type theory.

Thierry Coquand, Simon Huber, Christian Sattler

Log. Methods Comput. Sci., 2022

2021

Constructive sheaf models of type theory.

Thierry Coquand, Fabian Ruch, Christian Sattler

Math. Struct. Comput. Sci., 2021

Induction principles for type theories, internally to presheaf categories.

Rafaël Bocquet, Ambrus Kaposi, Christian Sattler

CoRR, 2021

Constructing a universe for the setoid model.

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Partial Univalence in n-truncated Type Theory.

Christian Sattler, Andrea Vezzosi

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Gluing for Type Theory.

Ambrus Kaposi, Simon Huber, Christian Sattler

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Homotopy Canonicity for Cubical Type Theory.

Thierry Coquand, Simon Huber, Christian Sattler

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus.

Andreas Abel, Christian Sattler

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2017

Space-Valued Diagrams, Type-Theoretically (Extended Abstract).

Nicolai Kraus, Christian Sattler

CoRR, 2017

2016

Entropy Analysis of Solar Two-Step Thermochemical Cycles for Water and Carbon Dioxide Splitting.

Matthias Lange, Martin Roeb, Christian Sattler, Robert Pitz-Paal

Entropy, 2016

2015

On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes.

Christian Sattler

PhD thesis, 2015

Higher Homotopies in a Hierarchy of Univalent Universes.

Nicolai Kraus, Christian Sattler

ACM Trans. Comput. Log., 2015

2013

On the Hierarchy of Univalent Universes: U(n) is not n-Truncated.

Nicolai Kraus, Christian Sattler

CoRR, 2013

2012

Turing-Completeness of Polymorphic Stream Equation Systems.

Christian Sattler, Florent Balestrieri

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012