Essentials: Functional Programming's Y Combinator - Computerphile
Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions. Lambda Calculus: https://youtu.be/eis11j_iGMs Professor B...

Computerphile
340.0K views β’ Aug 16, 2017

About this video
Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions.
Lambda Calculus: https://youtu.be/eis11j_iGMs
Professor Brailsford on 'Pointers': Coming Soon!
Many thanks to Microsoft Research UK for their support with the 'Essentials' mini-series.
http://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: http://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Lambda Calculus: https://youtu.be/eis11j_iGMs
Professor Brailsford on 'Pointers': Coming Soon!
Many thanks to Microsoft Research UK for their support with the 'Essentials' mini-series.
http://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: http://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
340.0K
Likes
7.9K
Duration
13:26
Published
Aug 16, 2017
User Reviews
4.8
(68) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now