Barendregt: The Lambda Calculus, its Syntax and semantics (1984)

by H P
Venue:Studies in Logic, volume 103, Elsevier Science Publishers