The Lambda-Calculus, vol 103 (1984)

by H P Barendregt