Christian Sattler

Orcid: 0000-0001-6374-4427

According to our database1, Christian Sattler authored at least 20 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Two-level type theory and applications - ERRATUM.
Math. Struct. Comput. Sci., 2024

The equivariant model structure on cartesian cubical sets.
CoRR, 2024

Natural numbers from integers.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023
Two-level type theory and applications.
Math. Struct. Comput. Sci., 2023

For the Metatheory of Type Theory, Internal Sconing Is Enough.
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.
PLoS Comput. Biol., 2022

Canonicity and homotopy canonicity for cubical type theory.
Log. Methods Comput. Sci., 2022

2021
Constructive sheaf models of type theory.
Math. Struct. Comput. Sci., 2021

Induction principles for type theories, internally to presheaf categories.
CoRR, 2021

Constructing a universe for the setoid model.
Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020
Partial Univalence in n-truncated Type Theory.
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

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

Homotopy Canonicity for Cubical Type Theory.
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.
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

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

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

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

Higher Homotopies in a Hierarchy of Univalent Universes.
ACM Trans. Comput. Log., 2015

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

2012
Turing-Completeness of Polymorphic Stream Equation Systems.
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012


  Loading...