Home
Programming in Lambda Calculus (pdf)
Limits of Computability
Step by Step Introduction into Lambda Calculus
Calculus of Constructions