filmov
tv
What is the lambda (λ) calculus?
Показать описание
In this video we explore what the lambda calculus is and explore how to write a program in the simple untyped lambda calculus.
Contents:
00:07 - What is the Lambda Calculus (conceptually)
01:47 - Defining a function as a lambda abstraction
05:10 - The simple untyped lambda calculus
09:00 - Exercise: create a sequence showing a valid lambda abstraction
Contents:
00:07 - What is the Lambda Calculus (conceptually)
01:47 - Defining a function as a lambda abstraction
05:10 - The simple untyped lambda calculus
09:00 - Exercise: create a sequence showing a valid lambda abstraction
0:06:09
0:05:21
0:12:40
0:10:49
0:18:00
0:21:48
0:12:48
0:18:43
0:14:23
0:01:00
0:00:07
0:04:05
0:34:26
0:00:56
0:09:22
0:01:00
0:02:37
0:01:00
0:16:55
0:00:33
0:00:42
0:02:59
0:00:46
0:00:17