Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Recherche approfondie

par Année
par Auteur
par Thème
par Type

(6) Production(s) de REGNIER L.

--------------------
+ 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)


--------------------
+ Timeless games hal link

Auteur(s): Ehrhard Thomas, Danos Vincent, Baillot Patrick, Regnier Laurent

Conference: Computer Science Logic (, DK, 1997-08-23)
Actes de conférence: Proceedings of the Conference for Computer Science Logic, vol. p.56-77 (1998)