Pietro Di Gianantonio Game Semantics for the Pure Lazy lambda-calculus. 106-120 2001 TLCA http://link.springer.de/link/service/series/0558/bibs/2044/20440106.htm db/conf/tlca/tlca2001.html#Gianantonio01