Christian Sattler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Eliminating Reversals from Cubical Type Theories. | Evan Cavallo, Christian Sattler |
| 2026 | LICS | Constructive Higher Sheaf Models with Applications to Synthetic Mathematics. | Thierry Coquand, Jonas Hfer, Christian Sattler |
| 2024 | LICS | Natural numbers from integers. | Christian Sattler, David Wrn |
| 2023 | FSCD | For the Metatheory of Type Theory, Internal Sconing Is Enough. | Rafal Bocquet, Ambrus Kaposi, Christian Sattler |
| 2021 | FOSSACS | Constructing a universe for the setoid model. | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini |
| 2020 | LICS | Partial Univalence in n-truncated Type Theory. | Christian Sattler, Andrea Vezzosi |
| 2019 | PPDP | Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus. | Andreas Abel, Christian Sattler |