← A Tutorial Introduction to the Lambda Calculus