Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Luca PAOLINI

Année
Publications
Files &
Ref.IML
2004 Ronchi Della Rocca Simona, Paolini Luca.
The parametric lambda calculus. A metamodel for computation.
Texts in Theoretical Computer Science. An EATCS Series. Springer-Verlag, Berlin. xiv+252 pp. ISBN: 3-540-20032-0, 2004.
 
  Paolini Luca, Ronchi Della Rocca Simona.
Parametric parameter passing lambda-calculus.
Inform. and Comput. 189, no. 1, 87--106, 2004.
 
2001 Paolini Luca.
Call-by-value separability and computability.
Theoretical computer science (Torino, 2001), 74--89, Lecture Notes in Comput. Sci., 2202, Springer, Berlin, 2001
 
1999 Paolini Luca, Ronchi Della Rocca Simona.
Call-by-value solvability.
Theor. Inform. Appl. 33, no. 6, 507--534, 1999
 



Last update : february 14, 2007, EL.