Lambda Calculus

Untyped Lambda Calculus
- Programming in Lambda Calculus (pdf)
  This text addresses programmers who are interested in looking at lambda calculus as a programming language.
- Limits of Computability
- 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.
Typed Lambda Calculus
- Calculus of Constructions