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).

August 09, 2018