TY  - BOOK
AU  - Peter Selinger
TI  - Lecture Notes on the Lambda Calculus (PDF 106P)
KW  -  Calculus
UR  - http://www.freebookcentre.net/maths-books-download/gotoweb.php?id=4662
ER  -