Game Semantics for the Pure Lazy λ-Calculus
In this paper we present a fully abstract game model for the pure lazy λ-calculus, i.e. the lazy λ-calculus without constants. In order to obtain this result we introduce a new category of games, the monotonic games, whose main characteristic consists in having an order relation on moves.
KeywordsOperational Semantic Game Model Nest Level Lambda Calculus Monotone Strategy
Unable to display preview. Download preview PDF.
- AJM94.S. Abramsky, R. Jagadeesan, and P. Malacaria. Full abstraction for pcf (extended abstract). In Theoretical Aspects of Computer software. International Symposium TACS’ 94, volume 789 of LNCS. Springer-Verlag, 1994.Google Scholar
- AM95a.S. Abramsky and G. McCusker. Games and full abstraction for the lazy λ-calculus. In Proceedings LICS’ 95, 1995.Google Scholar
- AM95b.S. Abramsky and G. McCusker. Games for recursive types. In I. C. Mackie C. L. Hankin and R. Nagarajan, editors, Theory and Formal Methods of Computing 1994: Proceedings of the Second Imperial College Department of Computing Workshop on Theory and Formal Methods. Imperial College Press, October 1995.Google Scholar
- BPR98.O. Bastonero, A. Pravato, and S Ronchi. Structures for lazy semantics. In Programming Concepts and Methods, PROCOMET’98. Chapman & Hall, 1998.Google Scholar
- DGF00.P. Di Gianantonio and G. Franco. The fine structure of game lambdamodels. In Conference on the Foundation of Software Technology and Theoretical Computer Science (FSTTS’ 00), volume 1974 of LNCS, pages 429–441. Springer-Verlag, 2000.Google Scholar
- KNO99.A. D. Ker, H. Nickau, and C. H. L. Ong. A universal innocent game model for the Böhm tree lambda theory. In Computer Science Logic: Proceedings of the 8th Annual Conference of the EACSL Madrid, Spain, volume 1683 of Lecture Notes in Computer Science, pages 405–419. Springer-Verlag, September 1999.Google Scholar
- KNO00.A. D. Ker, H. Nickau, and C. H. L. Ong. Innocent game models of untyped lambda calculus. To appear in Theoretical Computer Science, 2000.Google Scholar