3 ms·The Lambda Calculus: Its Syntax and Semantics3 points by morphir 17y agoA classic is available for free on the web.