1 comment

[ 6.0 ms ] story [ 10.1 ms ] thread
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.