The Lambda Calculus (1985)

by H P Barendregt