Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary λ-Calculi

Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Séminaire

Rémy Cerda
I2M

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.

Catégories

Séminaire

Tags :

Logique et Interactions

Vous devez vous connecter pour publier un commentaire.

Localisation

Adresses

Évènement