Christian Sattler
Christian Sattler
Affiliation: University of Gothenburg and Chalmers University of Technology
Pages in this Program
Eliminating reversals from cubical type theories
Constructive higher sheaf models of type theory with applications to synthetic mathematics
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑