15:47

Introduction to the Untyped λ-Calculus (1.1)

18:41

The Simply Typed Lambda Calculus (2.1)

1:08:24

Lambda Calculus vs. Turing Machines (Theory of Computation)

13:26

Essentials: Functional Programming's Y Combinator - Computerphile

54:17

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

28:50

Propositions as Types (7)

12:40

Lambda Calculus - Computerphile

21:48

Programming with Math | The Lambda Calculus