Abstract
In this paper we present a fully abstract game model for the pure lazy
lambda-calculus, i.e. the lazy lambda-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.