A Short Introduction to the Lambda Calculus (2004) [pdf]cs.bham.ac.uk166 pointskumaranvpl10 years ago