| Start Time | Title | Authors |
|---|---|---|
| 13:30 | Modalities and Parametric Adjoints | Daniel Gratzer, Evan Cavallo, G.A. Kavvos, Adrien Guatto and Lars Birkedal |
| 13:45 | Normalization for multimodal type theory | Daniel Gratzer |
| 13:55 | Clocked Cubical Type Theory | Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg and Andrea Vezzosi |
| 14:05 | Semantic Analysis of Normalization by Evaluation for Fitch-Style Modal Lambda Calculi | Nachiappan Valliappan, Fabian Ruch and Carlos Tomé Cortiñas |
Normalization for multimodal type theory
1 file(s) 231.94 KB
Modalities and Parametric Adjoints
1 file(s) 220.19 KB
Clocked Cubical Type Theory
1 file(s) 338.62 KB
Event Timeslots (1)
Thursday
-
chair: Conor McBride
Leave a Comment