Une étude combinatoire du lambda-calcul avec ressources uniforme

Jean-Baptiste Midez
I2M, Aix-Marseille Université
/user/jean-baptiste.midez/

Date(s) : 15/12/2014   iCal
11 h 00 min - 13 h 00 min

Soutenance de thèse


http://www.theses.fr/s120015

*Membres du jury :


– Daniel Hirschkoff (rapporteur)
– Lorenzo Tortora de Falco (rapporteur)
– Thomas Ehrhard
– Michele Pagani
– Lionel Vaux
– Laurent Regnier (directeur de thèse)

Catégories



Retour en haut 

Secured By miniOrange