Sylvain Salvati

Professeur des Universités - Méthodes formelles, lambda-calculs typés, langages formels, logique, mathématiques du langage
CNU : SECTION 27 - Informatique
no image
    0328778567 et 0359358706
M3 334 et INRIA B214
no image

Sylvain Salvati

Professeur des Universités - Méthodes formelles, lambda-calculs typés, langages formels, logique, mathématiques du langage