"Game Semantics for the Pure Lazy lambda-calculus."

Pietro Di Gianantonio (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics