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

8 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

3 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

12 views

2 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

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

3 weeks 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

3 weeks 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

22 views

11 days ago

Jar

This video describes the lambda operator and its use to determine the length of a selection of Monodic structures. I also sum up, ...

12:06

The Lambda Operator and Monodic Length

6 views

5 days 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

10 days 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

1 month 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

3 weeks ago

Palak

java #interviewquestions.

13:24

Lambda

3 views

3 days 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

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

4 views

9 days ago

Tirando Código

EL LENGUAJE QUE REVOLUCIONÓ LA PROGRAMACIÓN

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

EL LENGUAJE QUE REVOLUCIONÓ LA PROGRAMACIÓN

241 views

2 weeks 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

3 views

2 weeks ago

DataMListic

The Exponential Distribution - Why the Bus Is Never Overdue

Events like births, radioactive decays, or requests hitting a server tend to arrive at some steady average rate. Count how many ...

5:57

The Exponential Distribution - Why the Bus Is Never Overdue

3,311 views

12 days ago

Lambda~CΛtedra

2: Ecuaciones Lineales Equivalentes | Curso Álgebra Lineal | Cátedra Lambda

Curso Completo de Álgebra Lineal. Dale Like y Suscríbete, eso me incentiva a crear más contenido.

4:23

2: Ecuaciones Lineales Equivalentes | Curso Álgebra Lineal | Cátedra Lambda

5 views

3 weeks ago

David Furcy

[BYOPL:L11f] Applicative-order evaluation versus normal-order (AKA macro) evaluation in C++

BYOPL course playlist: https://www.youtube.com/playlist?list=PLIgSR01UTt8OHY8WhAqOmr8EzArJYd5Z0 In C++, function calls ...

12:50

[BYOPL:L11f] Applicative-order evaluation versus normal-order (AKA macro) evaluation in C++

28 views

4 weeks ago

Ergo

Computation as a Universal and Fundamental Concept

The lecture closes with Church's lambda calculus, the question of whether anything could be more powerful than a Turing ...

6:42

Computation as a Universal and Fundamental Concept

5,672 views

10 days ago

ViewTube