Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Yves Lafont a dirigé les 7 thèses suivantes :
Sur la théorie de l’homotopie des 3-catégories strictes
par Andrea Gagna sous la direction de Yves Lafont et de Dimitri Ara . - Aix-Marseille
Mathématiques
Soutenue le 25-10-2019
String diagram rewriting : applications in category and proof theory
par Matteo Acclavio sous la direction de Yves Lafont - Aix-Marseille
Mathématiques
Soutenue le 14-12-2016
Réécriture de diagrammes et de Sigma-diagrammes
par Pierre Rannou sous la direction de Yves Lafont - Aix-Marseille
Mathématiques
Soutenue le 21-10-2013
Théorie et pratique des réseaux d'interaction
par Sylvain Lippi sous la direction de Yves Lafont - Aix-Marseille 2
Mathématiques discrètes et fondements de l'informatique
Soutenue en 2001
Sémantique des phases, réseaux de preuve et divers problèmes de décision en logique linéaire
par Virgile Mogbil sous la direction de Yves Lafont - Aix-Marseille 2
Mathématiques discrètes et fondements de l'informatique
Soutenue en 2001
Calcul symbolique avec des diagrammes de Penrose
par Anne Massol sous la direction de Yves Lafont - Aix-Marseille 2
Mathématiques. Informatique
Soutenue en 1997
La règle d'échange : Logique linéaire multiplicative tressée
par Arnaud Fleury sous la direction de Yves Lafont - Paris 7
Mathématiques. Logique et fondements de l'informatique
Soutenue en 1996
Yves Lafont a été rapporteur de la thèse suivante :
Sémantique algébrique des ressources pour la logique classique
par Novak Novakovic sous la direction de François Lamarche - Vandoeuvre-les-Nancy, INPL
Informatique
Soutenue le 08-11-2011
Yves Lafont a été membre de jury de la thèse suivante :
Investigation des catégories finies
par Najwa Ghannoum sous la direction de Carlos Simpson et de Khaled Smaili . - Université Côte d'Azur
Mathématiques
Soutenue le 12-12-2022
