Sylvain Salvati

professeur des universités - Méthodes formelles, lambda-calculs typés, langages formels, logique, mathématiques du langage
CNU : SECTION 27 - INFORMATIQUE
    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