The Lambda Calculus, volume 103 (1984)

by Hendrik Pieter Barendregt
Venue:of Studies in Logic and the Foundations of Mathematics