Patrick Baillot

MathSciNet


Ph.D. Université de la Méditerranée 1999 France
Dissertation: Approches dynamiques en sémantique de la logique lineaire: jeux et géometrie de l'interaction
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1: Jean-Yves Girard
Advisor 2: Laurent Regnier

Student:

NameSchoolYearDescendants
Lasson, MarcÉcole Normale Supérieure de Lyon2012

According to our current on-line database, Patrick Baillot has 1 student and 1 descendant.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 170364 for the advisor ID.