Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
129,214 results
Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...
22,063 views
8 years ago
3,908 views
Haskell is a purely functional programming language based on lambda calculus. It uses immutable values and expressions to ...
1,018,775 views
4 years ago
Functions are an extremely useful part of programming, but it turns out that they're all you need to calculate anything. No data ...
86,884 views
3 years ago
In lambda calculus, you need recursion to do looping, and this is done using the Y Combinator formula. Lambda Calculus Video: ...
30,271 views
7,116 views
This animation visualizes the evaluation of the Y combinator in lambda calculus. Yellow and red arrows denote functions and ...
7,384 views
12,374 views
Visual Lambda Calculus environment. Bubble notation. Factorial. Project main page: https://github.com/bntre/visual-lambda Play ...
849 views
6 months ago
The lambda-term being evaluated is 1 + 1. Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html).
4,561 views
This animation visualizes an evaluation of Church numerals in lambda calculus. Yellow and red arrows denote functions and ...
3,291 views
Parigot encoding of integers and lists. Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html).
2,379 views
real shit.
96 views
This uses an iterative factorial algorithm I wrote: (λn.λf.n (λd.λa.λb.λy.b (d (λu.u) b (d (d (λu.u) a) (λu.u) y))) (λa.λb.λy.a (b y)) f (λu.u)) ...
2,291 views
1 year ago
An overview of how to use the Lambda Calculus Playground Android app. Download the app on the Play Store: ...
3,170 views
10 years ago
Parigot encoding of integers and lists, leftmost outermost. Graphical notation invented by John Tromp ...
5,114 views
Lambda calculus created in Pixverse AI.
40 views
What is lambda calculus? In this short video, we break down this important concept in mathematics and computer science.
69 views
Manim is a Python-based animation library that was created by Grant Sanderson. It's the same library used in 3blue1brown's ...
1,461 views
![Insertion Sort of [3,4,2,1] in Lambda Calculus, leftmost innermost](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FQo65ZBlWf4s%2Fsddefault.jpg)
![Insertion Sort of [3,4,2,1] in Lambda Calculus](/api/proxy/image?url=https%3A%2F%2Fi.ytimg.com%2Fvi%2FVYAPm_FfIvc%2Fsddefault.jpg)
