Knowledge Tree

researcher / Camille Le Moniès de Sagazan

Camille Le Moniès de Sagazan

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Un système de types étiquetés polymorphes pour typer les calculs de processus à liaison noms-canaux dynamiques