Innocent Game Models of Untyped λ-Calculus (2000)

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