Innocent game models of untyped λ-calculus (0)

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