Knowledge Tree

researcher / Pierre-Louis Curien

Pierre-Louis Curien

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Factorisation des régions cubiques et application à la concurrence

The [lambda lambda-bar]-calculus : a dual calculus for unconstrained strategies

Vers une ludique différentielle

Logique et interaction : une étude sémantique de la totalité

Sémantique et syntaxe vectorielles de la logique linéaire

Linearity and beyond in demotational semantics

Modeling the Handshake protocal for Asychrony

Une approche de la détection statique d'exceptions non rattrapées en appel par nom

Modélisation et analyse de processus biologiques dans des algèbres de processus

Quantification du second ordre en sémentique des jeux : application aux isomorphismes de types

Classes concurrentes et appel par filtrage dans le join calcul

Substitutions explicites, logiques et normalisation

Un cadre quantitatif pour la ludique

Semantique du lambda calcul avec ressources

Modeles denotationnels des langages sequentiels

Contributions a l'etude des lambda-calculs avec substitutions explicites

Contribution a l'etude du lambda-calcul partiel

Complétion de systèmes de réécriture types dont les fonctions sont polymorphes