Loading...

Essentials: Functional Programming's Y Combinator - Computerphile

171,421 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Aug 16, 2017

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

Loading...

Advertisement
When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...