Peter Selinger

• Lecture Notes on the Lambda Calculus