Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Roberto Di Cosmo

Roberto Di Cosmo

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Differential program semantics
A formal approach to distributed application synthesis and deployment automation
Vers une certification de l'extraction de coq
Etude formelle des distributions de logiciel libre
Une étude des sommes fortes : isomorphismes et formes normales
Généralisation des jeux combinatoires et applications aux langages logiques