Innocent Game Models of Untyped λ-Calculus (2000)

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