Lambda Calculus - Computerphile
1,089,283 views
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via HackerTube (Karpathy's dataset of videos Hacker News recommends · 90% confidenceProf. Graham Hutton (Nottingham, functional programming) gives a compact, authoritative introduction.
What you'll learn
Lambda calculus: Church's minimal model of computation, functions, and how it encodes logic.
Video by Computerphile, played through YouTube's embedded player.
Part of Subtitled Films
Go deeper
As an Amazon Associate, BrighterTube earns from qualifying purchases. Picked by hand for this subject; nobody paid to be listed.