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