Innocent game models of untyped lambda calculus (2002)

by A D Ker, H Nickau, L Ong
Venue:Theoretical Computer Science