Modal Type Theory

Start TimeTitleAuthors
13:30Modalities and Parametric AdjointsDaniel Gratzer, Evan Cavallo, G.A. Kavvos, Adrien Guatto and Lars Birkedal
13:45Normalization for multimodal type theoryDaniel Gratzer
13:55Clocked Cubical Type TheoryMagnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg and Andrea Vezzosi
14:05Semantic Analysis of Normalization by Evaluation for Fitch-Style Modal Lambda CalculiNachiappan Valliappan, Fabian Ruch and Carlos Tomé Cortiñas

Event Timeslots (1)

chair: Conor McBride

Leave a Comment

Your email address will not be published. Required fields are marked *