#lambdacalculus#ycombinator#functionalprogramming
Lambda Calculus - Computerphile
2.6M subscribers • 66 videos on Hallway
- Recommended by 5 people: 2 on Lobsters and 3 in engineering communities.
- A classic. People kept recommending it from 2017 to 2022.
- Presented by Graham Hutton, Professor of Computer Science at the University of Nottingham
Intermediate. Assumes working knowledge.
1M views9 years ago5 recommendations
Computer scienceProgramming languagesComputation and complexityFunctional programmingLanguage design and type systems
Graham Hutton explains the fundamentals of lambda calculus as the basis of functional programming.
The basis of almost all functional programming, Professor Graham Hutton explains Lambda Calculus. facebook.com/computerphile twitter.com/computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at bradyharan.comWhy it's here
5 people recommend thisWhat people say. Recommended as an exceptionally clear and accessible introduction to lambda calculus.
Moments people linked to
u/athlaknakain r/functionalprogramming • Recommends
u/rockymarinein r/functionalprogramming • Recommends
u/quiteamessin r/compsci • Mentions
On “Can someone explain to me lambda calculus?”
u/grahamhuttonin r/functionalprogramming • Mentions
On “Beginner - Understanding boolean logic in lambda calculus”