Games semantics for untyped - calculus (1998)

by P Di Gianantonio, G Franco, F Honsell
Venue:Proceedings of TLCA'99