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.		ACL
2006	Ehrhard Thomas, Regnier Laurent. Differential interaction nets. Theoret. Comput. Sci. 364, no. 2, 166--195, 2006.		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.		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.		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

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	[BDER97b]
	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]
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 13, 2010, EL.