Untyped Lambda Calculus

Untyped Lambda Calculus

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

1b9a8d9cba0f486e30cff6ad38c411b6?s=128

Sven Tennie

August 09, 2018
Tweet