Scholar
Christian Sattler
Google Scholar ID: ZJmvkfUAAAAJ
Chalmers University of Technology and University of Gothenburg
category theory
type theory
homotopy theory
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
573
H-index
12
i10-index
14
Publications
20
Co-authors
0
Publications
3 items
Eliminating reversals from cubical type theories
2026
Cited
0
Constructive higher sheaf models with applications to synthetic mathematics
2026
Cited
0
The equivariant model structure on cartesian cubical sets
arXiv.org · 2024
Cited
4
