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

Lambda-calcul et correspondance de Curry-Howard

Rémy Cerda
I2M, Aix-Marseille Université

Date(s) : 16/03/2021   iCal
16h00 - 17h30

Nous entamons notre « tour de table » du séminaire des doctorant⋅es : chaque semaine, une personne introduit quelques outils ou résultats liés à son travail de thèse. Cette semaine, Rémy Cerda (AGLR-LDP) présente le lambda-calcul et la correspondance de Curry-Howard.

Les doctorant⋅es de l’I2M et du LIS ainsi que les étudiant⋅es de master sont toujours les bienvenu⋅es !

Emplacement
I2M Luminy - TPR2, Salle de Séminaire 304-306 (3ème étage)

Catégories


Secured By miniOrange