Untyped Lambda Calculus
Programming in Lambda Calculus
This text addresses programmers who are interested in looking at lambda calculus as a programming language.
Step by Step Introduction into Lambda Calculus
This text gives a step by step introduction to the untyped lambda calculus from a mathematical point of view.