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
103,485 results
Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html). Code at ...
22,107 views
8 years ago
3,921 views
Functions are an extremely useful part of programming, but it turns out that they're all you need to calculate anything. No data ...
86,912 views
3 years ago
This animation visualizes the evaluation of the Y combinator in lambda calculus. Yellow and red arrows denote functions and ...
7,389 views
12,395 views
In lambda calculus, you need recursion to do looping, and this is done using the Y Combinator formula. Lambda Calculus Video: ...
30,291 views
Visual Lambda Calculus environment. Bubble notation. Factorial. Project main page: https://github.com/bntre/visual-lambda Play ...
851 views
6 months ago
Haskell is a purely functional programming language based on lambda calculus. It uses immutable values and expressions to ...
1,019,203 views
4 years ago
7,129 views
This animation visualizes an evaluation of Church numerals in lambda calculus. Yellow and red arrows denote functions and ...
3,293 views
The lambda-term being evaluated is 1 + 1. Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html).
4,571 views
An overview of how to use the Lambda Calculus Playground Android app. Download the app on the Play Store: ...
3,173 views
10 years ago
Parigot encoding of integers and lists. Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html).
2,385 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
real shit.
96 views
OmegaOS is a homebrew OSDev project that boots to an untyped lambda calculus interpreter prompt based on John Tromp's ...
1,297 views
6 years ago
Parigot encoding of integers and lists, leftmost outermost. Graphical notation invented by John Tromp ...
5,120 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,302 views
1 year ago
What is lambda calculus? In this short video, we break down this important concept in mathematics and computer science.
70 views
Lambda calculus created in Pixverse AI.
40 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)
