| |
| * | 2009 | |
|---|---|---|
| 6 | EE | Marco Gaboardi, Romain Péchoux: Upper Bounds on Stream I/O Using Semantic Interpretations. CSL 2009: 271-286 |
| 5 | EE | Marco Gaboardi, Luca Roversi, Luca Vercelli: A By-Level Analysis of Multiplicative Exponential Linear Logic. MFCS 2009: 344-355 |
| 2008 | ||
| 4 | EE | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: A logical account of pspace. POPL 2008: 121-131 |
| 3 | EE | Marco Gaboardi, Simona Ronchi Della Rocca: Type Inference for a Polynomial Lambda Calculus. TYPES 2008: 136-152 |
| 2 | EE | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: Soft Linear Logic and Polynomial Complexity Classes. Electr. Notes Theor. Comput. Sci. 205: 67-87 (2008) |
| 2007 | ||
| 1 | EE | Marco Gaboardi, Simona Ronchi Della Rocca: A Soft Type Assignment System for lambda -Calculus. CSL 2007: 253-267 |
| 1 | Jean-Yves Marion | [2] [4] |
| 2 | Romain Péchoux | [6] |
| 3 | Simona Ronchi Della Rocca | [1] [2] [3] [4] |
| 4 | Luca Roversi | [5] |
| 5 | Luca Vercelli | [5] |