D. Gratzer
Turings Venner
2025
- Computing with Higher-Order Functions
- A modal deconstruction of Löb induction
-
D. Gratzer
POPL 2025 - Controlling unfolding in type theory
-
D. Gratzer, J. Sterling. C. Angiuli, T. Coquand, L. Birkedal
WG 6 Meeting 2023 - Modalities and (weak) dependent right adjoints
- Denotational semantics of type theory
-
D. Gratzer
LogSem Seminar 2023 - Normalization for multimodal type theory
- Modalities and Parametric Adjoints
- Multimodal Dependent Type Theory
-
D. Gratzer, G.A. Kavvos, A. Nuyts, L. Birkedal
Stockholm University Logic Seminar 2020 - Multimodal Dependent Type Theory
-
D. Gratzer, G.A. Kavvos, A. Nuyts, L. Birkedal
IT University of Copenhagen PLZ Seminar 2020 - Implementing a Modal Dependent Type Theory
-
D. Gratzer, J. Sterling, L. Birkedal
International Conference on Functional Programming 2019