An introduction to the Untyped Lambda Calculus.
Topics:
- Structure and Evaluation
- Higher Order Functions, Currying
- Church Encodings (Booleans, Pairs, Numerals)
This talk was given at the Lambda Pi MeetUp in Hamburg (https://github.com/lambda-pi-meetup/talks).