Models of Lambda Calculus

Lecture notes (PDF) (Postscript)

Writeup (RTF) (Word) Comments!

References

  1. The Lambda Calculus: Its Syntax and Semantics, H. P. Barendregt, rev. ed., Studies in Logic 103, Elsevier, 1994.
  2. Stoy