[aklug] Introduction to Lambda Calculus

Ran across this nifty short guide (50 pages) to Lambda calculus:

ftp://ftp.cs.ru.nl/pub/CompMath.Found/lambda.pdf

Haskell is fundamentally lambda calculus plus a type system. You should
find the first two or three pages interesting, at least, which describe
the historical distinction between the Lambda and the Turing approach,
explain reduction systems, and discuss the abstraction and application
of functions.

-- 
frigidcode.com
theologia.indicium.us
---------
To unsubscribe, send email to <aklug-request@aklug.org>
with 'unsubscribe' in the message body.