Typed Lambda Calculus

Lecture notes (PDF) (Postscript)

Writeup (Postscript) (PDF) Comments!

References

Introduction to Combinators and $\lambda$-Calculus, J. R. Hindley and J. P. Seldin, Cambridge Univ. Press, 1986.