Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary λ-Calculi
Date(s) : 23/11/2023 iCal
11h00 - 12h30
Une improvisation à partir de résultats récents adaptant les travaux de Kurz, Petrişan, Severi et de Vries à des types mixtes algébriques et coalgébriques.
Emplacement
Luminy - IRES Marseille
Catégories
