Articles de Laurent Regnier
- asl13.pdf
- Transparents du tutorial Higher order differentiation and Taylor
expansion, session "Differential categories and diffential lambda
calculi" du colloque ASL
2013 à Waterloo (Ontario)
- siena07.pdf
- Transparents du tutorial Géométrie de l'interaction donné au
workshop Linear logic en l'honneur des 60 ans de Jean-Yves Girard à
Sienne
-
geocal06-goi-games-tutorial.pdf
- Transparents du tutorial Géométrie de l'interaction et sémantique des
jeux donné à la session résidentielle Geocal06.
- bkt06.pdf
- Ehrhard & Regnier, 2006, Böhm trees, Krivine machine and the Taylor
expansion of ordinary lambda-terms.
- resources.ps.gz
- Ehrhard & Regnier, 2005 Uniformity and the Taylor expansion of
ordinary lambda-terms. Soumis à publication.
-
Il y a un petit programme de démonstration de l'un des
résultats principaux de ce papier.
- diffnets.ps.gz
-
Ehrhard & Regnier, 2005, Differential interaction nets. À paraître dans
TCS.
- pam.ps.gz
-
Danos & Regnier, 2003, How abstract machines implement head linear
reduction. Soumis à publication.
- cps.ps.gz
-
Laurent & Regnier, 2003, About translations of classical logic in
polarized linear logic. LICS'03.
- ch.pdf, ch.ps.gz
-
Regnier, 2003, Les limites de la correspondance preuve/programme.
Quadrature, 2003.
- difflamb.ps.gz
-
Ehrhard & Regnier, 2002, The differential lambda-calculus. TCS 309,
2003.
-
timeless.ps.gz
-
Baillot, Danos, Ehrhard & Regnier, 1997, Timeless games. Paru dans
CSL'97.
-
game2.ps.gz
-
Baillot, Danos, Ehrhard & Regnier, 1996, Believe or
not, AJM games model is a model of classical linear logic. Paru
dans LICS'97.
-
dvr.ps.gz
-
Danos, Pedicini & Regnier, 1996, Directed virtual
reductions. Paru dans CSL'96.
-
games.ps.gz
-
Danos, Herbelin & Regnier, 1996, Games semantics and
abstract machines. Paru dans LICS96.
-
revirrev.ps.gz
-
Danos & Regnier, 1994, Reversible, irreversible and optimal
lambda-machines. Publié dans ENTCS
-
pnh.ps.gz
-
Danos & Regnier, 1994, Proof-nets and the Hilbert Space, paru
dans Advances for Linear Logic, Cornell (93), LNCS.
-
pilc.ps.gz
-
Asperti, Danos, Laneve & Regnier, 1994, Paths in
Lambda-Calculus (three years of communication without
comprehension), paru dans LICS 94.
-
laa.ps.gz,
laa.dvi.gz
-
Danos & Regnier, 1993, Local and Asynchronous Beta Reduction
(an analysis of Girard's execution formula), paru dans LICS 93.
-
these.ps.gz
-
Regnier, 1992 Lambda-calcul et réseaux, thèse de doctorat de
l'université Paris 7.
- Non disponible
-
Malacaria & Regnier, 1991, Some results on the interpretation of
lambda-calculus in operators algebras, LICS 91.
-
sigma.ps.gz
-
Regnier, 1990, Une équivalence sur les lambda-termes, paru dans TCS
126 (1994).