Concepedia
4
Publications
79
Citations
H-Index
2015
Active since
Affiliations
University of Nottingham(Current)
Christian Sattler is an author at University of Nottingham specializing in automated reasoning.
Top concepts
Automated Reasoning
Publications per year
2015–2019
The Frobenius condition, right properness, and uniform fibrations
Nicola Gambino, Christian Sattler · Journal of Pure and Applied Algebra · 2017 · 38 citations · Full text
The Equivalence Extension Property and Model Structures
Christian Sattler · arXiv (Cornell University) · 2017 · 15 citations · Full text
Kan Model Structure, Elementary Construction, Automated Reasoning +7
Higher Homotopies in a Hierarchy of Univalent Universes
Nicolai Kraus, Christian Sattler · ACM Transactions on Computational Logic · 2015 · 13 citations · Full text
Homotopy Canonicity for Cubical Type Theory
Thierry Coquand, Simon Huber, Christian Sattler · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2019 · 13 citations · Full text
Rows per page
1–4 of 4