Rechercher

Paramétrage

Thèmes

Accessibilité

Accessibilité

Sylvain Salvati

0328778567 et 0359358706
M3 334 et INRIA B214
Composantes, facultés Spécialité Méthodes formelles, lambda-calculs typés, langages formels, logique, mathématiques du langage Domaines de recherche Données et calcul

Présentation