Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Laurent REGNIER

Année
Publications
Files Type
2008 Ehrhard Thomas, Regnier Laurent.
Uniformity and the Taylor expansion of ordinary lambda-terms.
Theoret. Comput. Sci. 403, no. 2-3, 347--372, 2008.
PDF ACL
2006 Ehrhard Thomas, Regnier Laurent.
Differential interaction nets.
Theoret. Comput. Sci. 364, no. 2, 166--195, 2006.
PDF ACL
  Ehrhard Thomas, Regnier Laurent.
Böhm trees, Krivine machine and the Taylor expansion of ordinary lambda-terms.
Proceedings de Logical approaches to computational barriers (CIE 2006), Lecture Notes in Computer Science 3988: 186-197, Springer Verlag, 2006.
PDF ACTI
2005 Ehrhard Thomas, Regnier Laurent.
Differential interaction nets.
Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 2004), 35--74 (electronic), Electron. Notes Theor. Comput. Sci., 123, Elsevier, Amsterdam, 2005.
  ACTI
2003 Ehrhard Thomas, Regnier Laurent.
The differential lambda-calculus.
Theoret. Comput. Sci. 309, no. 1-3, 1--41, 2003.
PDF ACL
1999 Danos Vincent and Regnier Laurent.
Reversible, irreversible and optimal lambda-machines,
Linear logic, I (Tokyo, 1996). Theoret. Comput. Sci. 227, no. 1-2, 79--97, 1999
PDF  


1998 Baillot Patrick, Danos Vincent, Ehrhard Thomas and Régnier Laurent.
Timeless games.
Computer science logic (Aarhus, 1997), 56--77, Lecture Notes in Comput. Sci., 1414, Springer, Berlin, 1998.
PS
  Ehrhard Thomas, Lafont Yves and Régnier Laurent.
Logic and models of computation.
Papers from the conference held in Marseille, September 1996. Edited by Thomas Ehrhard, Yves Lafont and Laurent Regnier. Math. Structures Comput. Sci. 8, no. 6. Cambridge University Press, New York, pp. 541--710, 1998.
 
1997 Baillot Patrick, Danos Vincent, Ehrhard Thomas and Régnier Laurent.
Believe it or not, AJM's games model is a model of classical linear logic.
Proceedings of the twelfth Symposium on Logic in Computer Science, Varsovie, 1997.
[BDER97a]
  Danos Vincent, Pedicini Marco and Regnier Laurent.
Directed virtual reductions.
Computer science logic (Utrecht, 1996), 76--88, Lecture Notes in Comput. Sci., 1258, Springer, Berlin, 1997.
[DPR96]
  Danos Vincent and Regnier Laurent.
How abstract machines implement head linear reduction.
Submitted. Proceedings of the eleventh Symposium on Logic in Computer Science . IEEE Computer, 1996.
PS
1996 Danos Vincent, Herbelin Hugo and Regnier Laurent.
Games semantics and abstract machines.
11th Annual IEEE Symposium on Logic in Computer Science (New Brunswick, NJ, 1996), 394--405, IEEE Comput. Soc. Press, Los Alamitos, CA, 1996.
[DHR96]
  Danos Vincent and Regnier Laurent
Reversible, irreversible and optimal lambda-machines (extended abstract),
Linear logic 96 (Tokyo), 21 pp. (electronic), Electron. Notes Theor. Comput. Sci., 3, Elsevier, Amsterdam, 1996.
[DR96]

78k (ps.Z)
1995 Danos Vincent and Regnier Laurent.
Proof-nets and the Hilbert space.
Advances in linear logic (Ithaca, NY, 1993), 307--328, London Math. Soc. Lecture Note Ser., 222, Cambridge Univ. Press, Cambridge, 1995.
[DR95]

99k (ps.Z)
  Girard Jean-Yves, Lafont Yves and Régnier Laurent.
Advances in linear logic.
Proceedings of the workshop held at Cornell University, Ithaca, New York, June 14--18, 1993. Edited by J.-Y. Girard, Y. Lafont and L. Regnier. London Mathematical Society Lecture Note Series, 222. Cambridge University Press, Cambridge, viii+389 pp. ISBN: 0-521-55961-8, 1995.
 
1994 Asperti Andrea, Danos Vincent, Laneve Cosimo and Regnier Laurent.
Paths in lambda-calculus (three years of communication without comprehension).
Logic in Computer Science, 1994.
 
86k    45k
(ps.Z)  (dvi.Z)
  Regnier Laurent.
Une équivalence sur les lambda-termes [An equivalence between lambda-terms].
Theoret. Comput. Sci. 126, no. 2, 281--292viii+389 pp. ISBN: 0-521-55961-8, 1994.

61k (ps.Z)
1993 Danos Vincent and Regnier Laurent.
Local and asynchronous beta-reduction (an analysis of Girard's execution formula).
Eighth Annual IEEE Symposium on Logic in Computer Science (Montreal, PQ, 1993), 296--306, IEEE Comput. Soc. Press, Los Alamitos, CA, 1993.
 
100k   96k
(ps.Z)  (dvi.Z)
1989 Danos Vincent and Regnier Laurent.
The structure of multiplicatives.
Arch. Math. Logic 28, no. 3, 181--203, 1989.
 

Thèse
(Thesis)
 

1992
Lambda-calcul et réseaux.
Thèse de doctorat de l'Université de Paris 7, 1992.
 
275k   178k
(ps.Z)  (dvi.Z)


Last update : october 25, 2012, EL.