Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions.
Lambda Calculus: [ Ссылка ]
Professor Brailsford on 'Pointers': Coming Soon!
Many thanks to Microsoft Research UK for their support with the 'Essentials' mini-series.
[ Ссылка ]
[ Ссылка ]
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: [ Ссылка ]
Computerphile is a sister project to Brady Haran's Numberphile. More at [ Ссылка ]
![](https://s2.save4k.ru/pic/9T8A89jgeTI/maxresdefault.jpg)