Pietro Di Gianantonio, Gianluca Franco. The Fine Structure of Game Lambda Models. In Sanjiv Kapoor, Sanjiva Prasad, editors, Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings. Volume 1974 of Lecture Notes in Computer Science, pages 429-441, Springer, 2000. [doi]
Abstract is missing.