| |
| 2008 | ||
|---|---|---|
| 3 | EE | Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: A logical account of pspace. POPL 2008: 121-131 |
| 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] [3] |
| 2 | Simona Ronchi Della Rocca | [1] [2] [3] |