Game semantics for the Pure Lazy Lambda Calculus (2001)

by P Di Gianantonio
Venue:In Proc. 5th Int. Conf. Typed Lambda Calculi and Applications, Krakow