Games and full abstraction for the lazy /spl lambda/-calculus | IEEE Conference Publication | IEEE Xplore