The Lambda Calculus: Its Syntax and Semanticshttp://mathgate.info/cebrown/notes/barendregt.php by morphir • 17 years ago 3 0 17 years agoMAmathgate.infoA classic is available for free on the web.