Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Elena Giachino

est l'auteur d'une thèse

Lambda-calcul Logique mathématique Théorie des ensembles Théorie des types

Fullscreen

Lambda-calcul Logique mathématique Théorie des ensembles Théorie des types

Elena Giachino a rédigé la thèse suivante :

Session type : semantic foundations and object-oriented applications

par Elena Giachino sous la direction de Giuseppe Castagna - Paris 7

Informatique

Soutenue en 2009

Thèse soutenue