Results 1 -
1 of
1
Game Semantics for the Pure Lazy λ-Calculus
- Proceedings of TLCA '01, number 2044 in LNCS
, 2001
"... 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. ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
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.
