Mathematical Logic

The Lambda Calculus: Its Syntax and Semantics: v. 103

H.P. Barendregt

Computer ScienceMathematical LogicMathematicsFunctional Programming