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] |