15:47

Introduction to the Untyped λ-Calculus (1.1)

18:41

The Simply Typed Lambda Calculus (2.1)

12:40

Lambda Calculus - Computerphile

21:48

Programming with Math | The Lambda Calculus

54:17

A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks

28:50

Propositions as Types (7)

1:08:24

Lambda Calculus vs. Turing Machines (Theory of Computation)

13:07

The most intriguing discovery of Computer Science: the Y combinator demystified.