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