Introduction to Lambda Calculus talk materials.