Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Photo de REGNIER Laurent
REGNIER Laurent      
Organisme : Aix Marseille Université
Professeur
laurent.regnier_AT_univ-amu.fr
04 91 26 96 42
Bureau: 224, Etg: 2, Bât: TPR2 - Site : Luminy

Curriculum Vitae:     
Directeur adjoint de l'I2M
Domaines de Recherche:

Dernieres productions scientifiques :
--------------------
+ Uniformity and the Taylor expansion of ordinary lambda-terms doi link

Auteur(s): Ehrhard Thomas, Regnier Laurent

(Article) Publié: -Journal Of Theoretical Computer Science (Tcs), vol. 403 p.347-372 (2008)

--------------------
+ Differential interaction nets doi link

Auteur(s): Ehrhard Thomas, Regnier Laurent

(Article) Publié: Theoretical Computer Science, vol. 364 p.166-195 (2006)

--------------------
+ Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms doi link

Auteur(s): Ehrhard Thomas, Regnier Laurent

Conference: Second Conference on Computability in Europe, CiE 2006 (Swansea, GB, 2006-06-29)
Actes de conférence: Logical Approaches to Computational Barriers, vol. p.186-197 (2006)

--------------------
+ The differential lambda-calculus doi link

Auteur(s): Ehrhard Thomas, Regnier Laurent

(Article) Publié: Theoretical Computer Science, vol. 309 p.1-41 (2003)

--------------------
+ About Translations of Classical Logic into Polarized Linear Logic doi link

Auteur(s): Laurent Olivier, Regnier Laurent

Conference: (, , 2003)
Actes de conférence: Logic in Computer Science, vol. p.11-20 (2003)

Plus...