| |
| 2000 | ||
|---|---|---|
| 2 | EE | Pietro Di Gianantonio, Gianluca Franco: The Fine Structure of Game Lambda Models. FSTTCS 2000: 429-441 |
| 1999 | ||
| 1 | EE | Pietro Di Gianantonio, Gianluca Franco, Furio Honsell: Game Semantics for Untyped lambda beta eta-Calculus. TLCA 1999: 114-128 |
| 1 | Pietro Di Gianantonio | [1] [2] |
| 2 | Furio Honsell | [1] |