Lambda the Ultimate

inactiveTopic Introduction to Lambda Calculus
started 3/13/2001; 12:24:24 PM - last post 3/13/2001; 12:24:24 PM
Ehud Lamm - Introduction to Lambda Calculus  blueArrow
3/13/2001; 12:24:24 PM (reads: 1893, responses: 0)
Introduction to Lambda Calculus
A detailed introduction to the LC. Pretty long (~ 50 pages).

The text covers quite a lot of ground, contains proofs of many theorems and includes exercises.

If you don't have a book, and want to study the LC, you might give it a try.
Posted to LC by Ehud Lamm on 3/13/01; 12:25:11 PM