Extremely well structured and delivered talk on lambda calculus. I got interested with a recent post here on deriving boolean logic in lambda calculus - but mo

Extremely well structured and delivered talk on lambda calculus. I got interested with a recent post here on deriving boolean logic in lambda calculus - but most of the material I found didn't help. This talk made it click.