The Lambda Calculus. North-Holland (1984)

by H P BARENDREGT
Venue:Studies in logic 103