Rémy Cerda
I2M, Aix-Marseille Université
Date(s) : 16/03/2021 iCal
16 h 00 min - 17 h 30 min
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
Site Sud, Luminy, TPR2, Salle de Séminaire 304-306 (3ème étage)
Catégories