H P Barendregt

H P Barendregt is the author of books such as The Lambda Calculus, Its Syntax and Semantics.