lambda calculus

Essentials: Pointer Power! - Computerphile

Computerphile

Mentioned in relation to the definition of the y combinator.