Connexion
Home
  • All theses
  • Ongoing thesis
  • Individuals
  • Organisations
Deactivate Autocomplete Activate Autocomplete






Clear

Advanced search
Only theses to be defended in the next 6 months
Only individuals in connection with a defended thesis or an ongoing thesis for less than five years
defended theses only defended and online theses
REPORT an error

previous individual
next individual

Elena Giachino

is the author of a thesis

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 wrote the following thesis:

Session type : semantic foundations and object-oriented applications

by Elena Giachino supervised by Giuseppe Castagna - Paris 7

Informatique
defended on 2009
Thèse soutenue

ABES
About | Helpdesk | Terms of Use | Données personnelles | Mentions légales | Accessibilité numérique