Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Laurent Régnier

Laurent Régnier

at_id:

orcid_id:

Disciplines:

Mathematics
Edit Merge See Links

Thesis:

Lambda-calcul et reseaux

Directed Thesis:

Intersection types and ressource calculi in the denotational semantics of lambda-calculus
Réalisabilité classique : nouveaux outils et applications
Une étude combinatoire du lambda-calcul avec ressources uniforme
On operational properties of quantitative extensions of lambda-calculus
La localisation en logique : géométrie de l'interaction et sémantique dénotationnelle
Géométrie de l'interaction et réseaux différentiels
λ-calcul différentiel et logique classique : interactions calculatoires