Antoine Madet, Complexité Implicite de Lambda-Calculs Concurrents (soutenance de thèse)

Programme