8 Jun
2016
8 Jun
'16
12:24 p.m.
Bonjour, Ce vendredi, 10 juin 2016 (après-demain), à 11h en salle B107, nous aurons un groupe de travail animé par Naïm El Ouraoui (stagiaire M1 qui travaille avec Micaela et moi). Naïm nous racontera son travail en cours sur la formalisation en Coq de la preuve de préservation de la normalisation forte du calcul avec subtitutions explicites linéaires (originalement introduit par Robin Milner et revu par Beniamino Accattoli et Delia Kesner). Amicalement, Damiano