The lambda calculus and its models (1982)

by H P Barendregt
Venue:Logic Colloquium '82