Рет қаралды 313,808
Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions.
Lambda Calculus: • Lambda Calculus - Comp...
Professor Brailsford on 'Pointers': Coming Soon!
Many thanks to Microsoft Research UK for their support with the 'Essentials' mini-series.
/ computerphile
/ 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 www.bradyharan.com