Set-Theoretical and Other Elementary Models of the lambda-Calculus. (1993)

by G D Plotkin
Venue:Theoretical Computer Science