Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Paul-André Melliès

Paul-André Melliès

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Semantics of linear logic and higher-order model-checking
Une étude fibrationelle des topos de réalisabilité
Modalités de ressources et contrôle en logique tensorielle
Sémantique des jeux asynchrones et réécriture 2-dimensionnelle