Innocent Game Models of Untyped λ-Calculus (2000)

by Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong
Venue:Theoretical Computer Science