Set-theoretical and other elementary models of the lambda-calculus (1993)

by G D Plotkin
Venue:Theoretical Computer Science