Jean-Yves Girard a rédigé la thèse suivante :

Médecine
Soutenue en 1993
Thèse soutenue


Jean-Yves Girard a dirigé les 13 thèses suivantes :

Mathématiques
Soutenue le 04-12-2014
Thèse soutenue

Mathématiques
Soutenue en 2001
Thèse soutenue
Mathématiques discrètes et fondements de l'informatique
Soutenue en 2001
Thèse soutenue

Execution et programmes

par MARCO PEDICINI sous la direction de Jean-Yves Girard - Paris 7

Mathématiques
Soutenue en 1999
Thèse soutenue

Mathématiques discrètes et fondements de l'informatique
Soutenue en 1999
Thèse soutenue

Logique et fondements de l'informatique
Soutenue en 1993
Thèse soutenue

Mathématiques
Soutenue en 1993
Thèse soutenue

Mathématiques
Soutenue en 1992
Thèse soutenue