The Lambda Calculus. North-Holland, revised edition (1984)

by Hendrik Barendregt