|
 |
Last update : february 14, 2007, EL.
|
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.
|