Models of the Lambda Calculus (1982)

by C P J Koymans
Venue:Information and Control