 | 2009 |
|---|
| 11 |       | Luca Paolini,
Mauro Piccolo,
Simona Ronchi Della Rocca:
Logical Semantics for Stability.
Electr. Notes Theor. Comput. Sci. 249: 429-449 (2009) |
| 2008 |
|---|
| 10 | | Luca Paolini,
Mauro Piccolo:
Semantically linear programming languages.
PPDP 2008: 97-107 |
| 9 | | Luca Paolini,
Mauro Piccolo:
A Process-Model for Linear Programs.
TYPES 2008: 289-305 |
| 8 | | Luca Paolini:
Parametric lambda -theories.
Theor. Comput. Sci. 398(1-3): 51-62 (2008) |
| 2006 |
|---|
| 7 | | Luca Paolini,
Elaine Pimentel,
Simona Ronchi Della Rocca:
An Operational Characterization of Strong Normalization.
FoSSaCS 2006: 367-381 |
| 6 | | Luca Paolini:
A stable programming language.
Inf. Comput. 204(3): 339-375 (2006) |
| 2005 |
|---|
| 5 | | Luca Paolini,
Elaine Pimentel,
Simona Ronchi Della Rocca:
Lazy Strong Normalization.
Electr. Notes Theor. Comput. Sci. 136: 103-116 (2005) |
| 2004 |
|---|
| 4 | | Luca Paolini,
Simona Ronchi Della Rocca:
Lazy Logical Semantics.
Electr. Notes Theor. Comput. Sci. 104: 235-251 (2004) |
| 3 | | Luca Paolini,
Simona Ronchi Della Rocca:
Parametric parameter passing Lambda-calculus.
Inf. Comput. 189(1): 87-106 (2004) |
| 2001 |
|---|
| 2 | | Luca Paolini:
Call-by-Value Separability and Computability.
ICTCS 2001: 74-89 |
| 1999 |
|---|
| 1 |  | Luca Paolini,
Simona Ronchi Della Rocca:
Call-by-value Solvability.
ITA 33(6): 507-534 (1999) |
