Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions.

Lambda Calculus:    • Lambda Calculus - Computerphile  
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: http://bit.ly/nottscomputer

Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com