ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

4,003 results

2swap
What is PLUS times PLUS?

The "theorem" is the claim which I discussed in the video- namely, that the Turing machine and lambda calculus are equally ...

28:28
What is PLUS times PLUS?

1,469,451 views

9 months ago

Andrew Giraffe
Why Don't We Program In Lambda Calculus? Rust, Lisp, and Church's Thesis

This is a video that tries to shed light on some of the world of functional programming and its core: lambda calculus. While LC may ...

26:49
Why Don't We Program In Lambda Calculus? Rust, Lisp, and Church's Thesis

23,267 views

8 months ago

Studio salesman
Computation of 4 factorial using lambda calculus.

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:25
Computation of 4 factorial using lambda calculus.

1,107 views

9 months ago

Wolfram
The Ruliology of Lambdas

Stephen reads a recent blog from https://writings.stephenwolfram.com and then answers questions live from his viewers. Read the ...

2:14:24
The Ruliology of Lambdas

1,347 views

3 months ago

Tsoding Daily
Smallest Pure Functional Language in C

... https://github.com/tsoding/lamb Topic: Implementing an Untyped Lambda Calculus Interpreter in C Twitch Chat in Subtitles ...

3:23:01
Smallest Pure Functional Language in C

49,040 views

1 month ago

ACM SIGPLAN
[OOPSLA'25] Opportunistically Parallel Lambda Calculus

Opportunistically Parallel Lambda Calculus (Video, OOPSLA2 2025) Stephen Mell, Konstantinos Kallas, Steve Zdancewic, and ...

13:31
[OOPSLA'25] Opportunistically Parallel Lambda Calculus

53 views

1 month ago

Mark Volkmann
Lambda Calculus - Foundation of Functional Programming

You have likely heard the term "Lambda Calculus" several times throughout your career, but never took the time to learn about it.

35:59
Lambda Calculus - Foundation of Functional Programming

45 views

5 months ago

Kenneth J Hamer-Hodges
The Lambda Rebellion - Fighting for Digital Democracy

Computers that provide digital security based on the theory of the Lambda Calculus provide the solution. Using a Church-Turing ...

10:14
The Lambda Rebellion - Fighting for Digital Democracy

7 views

4 months ago

Code Sync
The Y Combinator: developing intuition around abstract recursion - Dave Kimber | Lambda Days 2024

... check https://lambdadays.org ✨ Abstract The Y Combinator is an elegant construct of the Lambda Calculus used to implement ...

19:10
The Y Combinator: developing intuition around abstract recursion - Dave Kimber | Lambda Days 2024

1,040 views

9 months ago

Mark Volkmann
Lambda Calculus iJS New York 2025

You have likely heard the term "Lambda Calculus" several times throughout your career, but never took the time to learn about it.

46:35
Lambda Calculus iJS New York 2025

26 views

3 months ago

IIT Roorkee July 2018
Promo of  Introduction to Lambda Calculus By Prof. Rajdeep Niyogi

This course offers an introductory overview of lambda calculus, which serves as the basis for various functional programming ...

3:45
Promo of Introduction to Lambda Calculus By Prof. Rajdeep Niyogi

445 views

1 month ago

Noxivia
Lambda Calculus & Digital Logic

Just a talk on Lambda Calculus and Digital Logic as models of computation. Link to the video mentioned in the talk: ...

16:21
Lambda Calculus & Digital Logic

208 views

9 months ago

Philosopher Friends
The Lambda Calculus: Foundations and Applications #1325

Before computer science, there was lambda calculus—a formal system that reshaped logic, computation, and philosophy.

27:43
The Lambda Calculus: Foundations and Applications #1325

14 views

7 months ago

vlogize
How to Reduce a Lambda Expression Step-by-Step

Learn how to simplify and reduce lambda calculus expressions with this easy-to-follow guide, using clear examples and stepwise ...

1:13
How to Reduce a Lambda Expression Step-by-Step

10 views

9 months ago

Formalisation of Mathematics Seminar @ Cam
Jasmin Blanchette: Lambda-Superposition for Successful Hammering (06/11)

Abstract:

1:18:00
Jasmin Blanchette: Lambda-Superposition for Successful Hammering (06/11)

48 views

Streamed 2 months ago

Domagoj Mišković
Lambda Calculus #19

Broadcasted live on Twitch -- Watch live at https://www.twitch.tv/domagojding.

1:16:53
Lambda Calculus #19

127 views

11 months ago

Valdis S Coding
PBM774 Programming Languages T6 - Lambda Calculus, Functional Programming 2025 01 23 11 17 18

Introduction to Lambda Calculus, the importance of functional programming, functions as first class citizens, filter in Python Github: ...

40:21
PBM774 Programming Languages T6 - Lambda Calculus, Functional Programming 2025 01 23 11 17 18

27 views

11 months ago

Attic Philosophy
Type Theory in Computer Science, Linguistics, Logic

... History of Type Theory 11:45 - Lambda Calculus 17:48 - Type theory in Computer Science 21:51 - Higher Order Logic with type ...

40:14
Type Theory in Computer Science, Linguistics, Logic

38,756 views

6 months ago

The Unqualified Tutor
The 7 Levels of Math Symbols

Join the free discord to chat: discord.gg/TFHqFbuYNq Join this channel to get access to perks: ...

14:03
The 7 Levels of Math Symbols

1,590,539 views

11 months ago

Taylor Hodge
OPLSS 2025 – Valeria De Paiva – Lambda-Calculi for Logics – Lecture 1: Part 1
33:26
OPLSS 2025 – Valeria De Paiva – Lambda-Calculi for Logics – Lecture 1: Part 1

29 views

6 months ago