lambda calculus

Speaker(s): Mark Lagodych I would like to talk about my personal project that is a compiler from WebAssembly to lambda calculus ...

13:57

I compiled WebAssembly to lambda calculus! A journey into esoteric programming - DevConf.CZ 2026

7 views

3 weeks ago

David Furcy

[BYOPL:L13d] Using the Y combinator to implement the factorial function in the lambda calculus

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We apply the ...

12:48

[BYOPL:L13d] Using the Y combinator to implement the factorial function in the lambda calculus

4 views

2 weeks ago

David Furcy

[BYOPL:L14b] Defining the syntax of SLang 1, a purely functional, applied lambda calculus

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We describe the ...

10:50

[BYOPL:L14b] Defining the syntax of SLang 1, a purely functional, applied lambda calculus

10 views

2 weeks ago

David Furcy

[BYOPL:L13c] How to use the Y combinator to simulate recursive calls in the lambda calculus

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We describe a ...

12:01

[BYOPL:L13c] How to use the Y combinator to simulate recursive calls in the lambda calculus

4 views

2 weeks ago

David Furcy

[BYOPL:L11a] Defining beta-redexes and the beta-reduction process in the lambda calculus

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We define what a ...

12:38

[BYOPL:L11a] Defining beta-redexes and the beta-reduction process in the lambda calculus

16 views

3 weeks ago

José-de-Jesús Lavalle-Martínez

FLP 13 Ambiguity Pure Lambda Calculus Syntax

Curso de Fundamentos de Lenguajes de Programación.

17:01

FLP 13 Ambiguity Pure Lambda Calculus Syntax

3 views

12 days ago

David Furcy

[BYOPL:L12c] Arithmetic operators and predicates in the lambda calculus

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We first show how to ...

14:27

[BYOPL:L12c] Arithmetic operators and predicates in the lambda calculus

9 views

2 weeks ago

David Furcy

[BYOPL:L11d] The "leftmost-innermost" or "applicative-order" reduction strategy

... "leftmost-innermost" reduction strategy in the lambda calculus and show how it relates to the call-by-value parameter-passing ...

12:21

[BYOPL:L11d] The "leftmost-innermost" or "applicative-order" reduction strategy

9 views

3 weeks ago

David Furcy

[BYOPL:L10b] Cases 1 and 3 of the substitution algorithm in the lambda calculus

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We describe what the ...

19:31

[BYOPL:L10b] Cases 1 and 3 of the substitution algorithm in the lambda calculus

8 views

1 month ago

21st Century Corporation

Lambda Functions in Python | Full Tutorial for Beginners

Master Lambda Functions in Python! In this comprehensive Python tutorial for beginners, you will learn how to write clean, concise ...

5:08

Lambda Functions in Python | Full Tutorial for Beginners

21 views

5 days ago

David Furcy

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We practice ...

11:03

[BYOPL:L11b] Beta-reduction examples

10 views

3 weeks ago

David Furcy

[BYOPL:L10c] Case 2 of the substitution algorithm in the lambda calculus

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We describe what the ...

15:23

[BYOPL:L10c] Case 2 of the substitution algorithm in the lambda calculus

9 views

4 weeks ago

David Furcy

[BYOPL:L13b] The fixed-point combinator equation and the Y combinator

... lambda abstraction called the Y combinator that, when applied to any function f in the lambda calculus, returns a fixed point of f.

16:25

[BYOPL:L13b] The fixed-point combinator equation and the Y combinator

10 views

2 weeks ago

Ian Griffiths

Hi folks and in this video what we're going to look at is lambda functions and um their use within our origin so what I've done is ...

4:25

23 Lambda Inline Functions

0 views

4 days ago

David Furcy

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 We explain the ...

17:43

[BYOPL:L11c] The Church-Rosser theorem

11 views

3 weeks ago

David Furcy

[BYOPL:L13a] Defining the fixed points of a function

... functions in the lambda calculus. #lambdaexpression #programminglanguages #computerscience #education Connect with ...

8:19

[BYOPL:L13a] Defining the fixed points of a function

3 views

2 weeks ago

David Furcy

[BYOPL:L11e] The "leftmost-outermost" or "normal-order" reduction strategy

... the "leftmost-outermost" reduction strategy in the lambda calculus. This strategy is also called "normal order" or "lazy evaluation" ...

15:49

[BYOPL:L11e] The "leftmost-outermost" or "normal-order" reduction strategy

9 views

3 weeks ago

David Furcy

[BYOPL:L16a] Modifying the SLang 1 language concrete syntax for function definitions

... modification, we change the concrete syntax for function definitions to match that of lambda abstractions in the lambda calculus.

16:40

[BYOPL:L16a] Modifying the SLang 1 language concrete syntax for function definitions

2 views

3 days ago

Tirando Código

Después de dos meses regresamos con un video sobre uno de los lenguajes más fascinantes y raros del planeta, descrito por ...

11:34

LA ÉPICA HISTORIA de ORIGEN de LISP

211 views

13 days ago

David Furcy

[BYOPL:L15a] Introduction to environment-based interpreters

Recall that our interpreter for the pure lambda calculus used substitution to evaluate function calls. So each occurrence of a ...

17:50

[BYOPL:L15a] Introduction to environment-based interpreters

2 views

9 days ago

ViewTube