The Pure Untyped Lambda Calculus

Lecture notes (PDF) (Postscript)

Writeup (RTF) (Postscript) (PDF) Comments!

References

  1. The Lambda Calculus: Its Syntax and Semantics, H. P. Barendregt, rev. ed., Studies in Logic 103, Elsevier, 1994.
  2. Lambda Calculi: A Guide for Computer Scientists, C. Hankin, Graduate Texts in Computer Science 3, Oxford, 1994.
  3. Introduction to Combinators and $\lambda$-Calculus, J. R. Hindley and J. P. Seldin, Cambridge Univ. Press, 1986.