Barendregt: The Lambda Calculus, Its Syntax and Semantics, revised edition (1985)

by P Hendrick
Venue:Studies in Logic and the Foundations of Mathematics