D. Gratzer, J. Sterling. C. Angiuli, T. Coquand, L. Birkedal
WG 6 Meeting
2023
- Controlling unfolding in type theory
- 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