| |
| 2007 | ||
|---|---|---|
| 3 | EE | Chantal Berline, Giulio Manzonetto, Antonino Salibra: Lambda Theories of Effective Lambda Models. CSL 2007: 268-282 |
| 2 | EE | Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto: Not Enough Points Is Enough. CSL 2007: 298-312 |
| 2006 | ||
| 1 | EE | Giulio Manzonetto, Antonino Salibra: Boolean Algebras for Lambda Calculus. LICS 2006: 317-326 |
| 1 | Chantal Berline | [3] |
| 2 | Antonio Bucciarelli | [2] |
| 3 | Thomas Ehrhard | [2] |
| 4 | Antonino Salibra | [1] [3] |