Sylvain Salvati

Sylvain Salvati

Signet.

EP links @ Lille | Domaine 4

Langages formels / Théorie des automates / Vérification / Lambda-calcul / Théorie des types / Programmation fonctionnelle / Logique / Mathématiques du langage

Les commentaires sont clos.