Doctorat
Intitulé : Mathématiques
1ère inscription en thèse :
Octobre 2010
École doctorale :
Mathématiques et Informatique de Marseille
Date de soutenance de la thèse :
15 Décembre 2014
Sujet :
Étude combinatoire du lambda-calcul avec ressources
Directeur de thèse :
LAURENT REGNIER
Co-directeur :
Unité de recherche :
I2M - Institut de Mathématiques de Marseille
Intitulé de l'équipe :
Master
Intitulé : Sciences et thechnologies à finalité recherche, mention mathématiques et applications
Juin 2010 - Université Aix-Marseille 2
Mention : bien
