Title: Lecture Notes on the Lambda Calculus