The Lambda Calculus: Its Syntax and Semantics (0)

by H Barendregt