Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Photo de REGNIER Laurent
REGNIER Laurent      
Organisme : Aix Marseille Université
Professeur

Directeur(trice) de thèse de : GEOFFROY G.,
Encadre la thèse de : LEVENTIS T.,
Equipe: Logique de la Programmation (LDP) (responsable de)
laurent.regnier_AT_univ-amu.fr
04 91 26 96 42
Bureau: 224, Etg: 2, Bât: TPR2 - Site : Luminy

Administration Locale:
  • Direction d'équipe
Curriculum Vitae:     
Responsable de l'équipe Logique de la Programmation (LDP) de l'I2M
Domaines de Recherche:
  • Informatique/Logique en informatique
  • Mathématiques/Logique
Dernieres productions scientifiques :
--------------------
+ Uniformity and the Taylor expansion of ordinary lambda-terms doi link

Auteur(s): Ehrhard Thomas, Regnier L.

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

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

Auteur(s): Ehrhard Thomas, Regnier L.

(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 L.

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 L.

(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 L.

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

Plus...