Computerphile

Essentials: Functional Programming's Y Combinator (2017x56)

:

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