1 comment

[ 7.6 ms ] story [ 40.5 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.