Rémy Cerda
I2M, Aix-Marseille
https://www.i2m.univ-amu.fr/perso/remy.cerda/
Date(s) : 02/03/2023 iCal
11 h 00 min - 12 h 30 min
Tout est dans le titre, qu’on aura peut-être le temps de prolonger par : « On a en outre des raisons raisonnables de penser que, contre toute attente, ce résultat n’est plus vrai quand on considère un λ-calcul infinitaire. »
Emplacement
Amphi 5 - TPR2 (room 500-504, fifth floor)
Catégories