Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Laurence Puel
Laurence Puel
at_id:
orcid_id:
Disciplines:
Applied sciences
Edit
Merge
See Links
Directed Thesis:
Pi-calcul et sous-typage : inference de types et codages du lambda-calcul dans le pi-calcul
Extension sures et praticables du systeme de types de ml en presence d'un langage de modules et de traits imperatifs
La definition de fonctions par cas a l'aide de motifs dans des langages applicatifs
Terminaison de systemes de reecriture, application a la transformation de formules equationnelles