Monsieur Jean-Baptiste MIDEZ / Docteur
Coordonnées
Emplois
Recherche : NON
Doctorat
Titre : Mathématiques
1ère inscription en thèse : 1 octobre 2010 / 4A
Ecole doctorale : Mathématiques et Informatique de Marseille
Date de soutenance de thèse : 15 décembre 2014
Sujet : Étude combinatoire du lambda-calcul avec ressources
Directeur de thèse : REGNIER LAURENT
Co-directeur :
Unité de recherche : I2M - Institut de Mathématiques de Marseille
Master
Titre : Sciences et thechnologies à finalité recherche, mention mathématiques et applications
juin 2010 - Université Aix-Marseille 2
Mention : bien