Game Semantics for Untyped lambda beta eta-Calculus. - Pietro Di Gianantonio; Gianluca Franco; Furio Honsell (TLCA, 1999)

The Fine Structure of Game Lambda Models. - Pietro Di Gianantonio; Gianluca Franco (FSTTCS, 2000)