| |
| 2008 | ||
|---|---|---|
| 9 | EE | Luca Paolini, Mauro Piccolo: Semantically linear programming languages. PPDP 2008: 97-107 |
| 8 | EE | Luca Paolini: Parametric lambda -theories. Theor. Comput. Sci. 398(1-3): 51-62 (2008) |
| 2006 | ||
| 7 | EE | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: An Operational Characterization of Strong Normalization. FoSSaCS 2006: 367-381 |
| 6 | EE | Luca Paolini: A stable programming language. Inf. Comput. 204(3): 339-375 (2006) |
| 2005 | ||
| 5 | EE | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: Lazy Strong Normalization. Electr. Notes Theor. Comput. Sci. 136: 103-116 (2005) |
| 2004 | ||
| 4 | EE | Luca Paolini, Simona Ronchi Della Rocca: Lazy Logical Semantics. Electr. Notes Theor. Comput. Sci. 104: 235-251 (2004) |
| 3 | EE | Luca Paolini, Simona Ronchi Della Rocca: Parametric parameter passing Lambda-calculus. Inf. Comput. 189(1): 87-106 (2004) |
| 2001 | ||
| 2 | EE | 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) | |
| 1 | Mauro Piccolo | [9] |
| 2 | Elaine Pimentel | [5] [7] |
| 3 | Simona Ronchi Della Rocca | [1] [3] [4] [5] [7] |