Jean-Baptiste MIDEZ – Une étude combinatoire du lambda-calcul avec ressources uniforme




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

Soutenance de thèse


Une étude combinatoire du lambda-calcul avec ressources uniforme

*Membres du jury :


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

 

lien vers la thèse de Jean-Baptiste MIDEZ

 

Lien : theses.fr

Catégories



Retour en haut 

Secured By miniOrange