Computerphile

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

Air date: Aug 16, 2017

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