ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

5,542 results

Theo Reto
Introduction to the Untyped λ-Calculus (1.1)

CONTENT This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics ...

15:47
Introduction to the Untyped λ-Calculus (1.1)

7,010 views

4 years ago

Kristopher Micinski
L16: Lambda Calculus Introduction
15:35
L16: Lambda Calculus Introduction

9,959 views

4 years ago

Artefisual
⚙️ ¿Qué es el Cálculo Lambda?

El cálculo Lambda fue una herramienta inventada en 1930 para describir con simpleza los elementos principales de la ...

5:42
⚙️ ¿Qué es el Cálculo Lambda?

18,764 views

3 years ago

Theo Reto
The Simply Typed Lambda Calculus (2.1)

CONTENT This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics ...

18:41
The Simply Typed Lambda Calculus (2.1)

10,973 views

4 years ago

Tiago Cogumbreiro
CS450   S21   19   01  Lambda E lambda calculus with environments

We're going to start today's lesson thinking a bit about the performance of the lambda calculus the statement that i want to make in ...

17:04
CS450 S21 19 01 Lambda E lambda calculus with environments

291 views

4 years ago

Theo Reto
Lambda Cube Unboxed (0)

CONTENT "Lambda Cube Unboxed" is a video series on the basic (un-)typed lambda calculi which form the basis of many ...

4:17
Lambda Cube Unboxed (0)

5,412 views

4 years ago

GRAME - Centre national de création musicale
Lambda Calculus and Music Calculi
9:38
Lambda Calculus and Music Calculi

196 views

9 years ago

Theo Reto
The Lambda Cube and λC (6)

This video (6): With three different ways of extending the simply typed lambda calculus, we now look at how the characteristics of ...

10:44
The Lambda Cube and λC (6)

1,182 views

4 years ago

TYPES 2022
Linear lambda calculus is linear - Alejandro Diaz Caro
15:43
Linear lambda calculus is linear - Alejandro Diaz Caro

58 views

3 years ago

Theo Reto
Numbers and Functions in the Untyped λ-Calculus — I (1.3.1)

CONTENT This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics ...

15:13
Numbers and Functions in the Untyped λ-Calculus — I (1.3.1)

3,259 views

4 years ago

RU Computer Science
Programming Languages: Lambda Calculus - 2

Second lecture on lambda calculus.

19:53
Programming Languages: Lambda Calculus - 2

27,018 views

11 years ago

Algeboy: Prof James B. Wilson
Curry Feys (lambda-calculus II)

Substitution needs rules. Curry-Feys is one such system and knowing how to substitute properly is worth the work. Here the slides ...

11:27
Curry Feys (lambda-calculus II)

349 views

4 years ago

Tiago Cogumbreiro
CS450   S21   23   01  Lambda D

So now we are ready to learn about lambda d which is an extension of the lambda calculus with immutable definitions so it follows ...

5:47
CS450 S21 23 01 Lambda D

228 views

4 years ago

RU Computer Science
Programming Languages: Lambda Calculus - 3

Third lecture on Lambda Calculus.

15:28
Programming Languages: Lambda Calculus - 3

27,483 views

11 years ago

Algeboy: Prof James B. Wilson
Serious Mathematicians Asks: What is a function?

When we substitutes values into variables we seem to know intuitively that it makes sense. But with simple constant and identity ...

13:16
Serious Mathematicians Asks: What is a function?

438 views

4 years ago

Theo Reto
β-Reduction in the Untyped λ-Calculus (1.2)

CONTENT This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics ...

16:25
β-Reduction in the Untyped λ-Calculus (1.2)

8,924 views

4 years ago

Theo Reto
Computing in λ2 (3.2)

This video (3.2): Continuing from our last video, we look at what we gain by extending the simply typed lambda calculus with ...

14:49
Computing in λ2 (3.2)

1,342 views

4 years ago

Theo Reto
Properties of the Simply Typed Lambda Calculus (2.2)

CONTENT This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics ...

10:03
Properties of the Simply Typed Lambda Calculus (2.2)

3,008 views

4 years ago

Adam Doupé
CSE 340 F16 Office Hours: "Lambda Calculus"

Recorded office hours discussion for CSE 340 F16. Discussed disambiguation rules for lambda calculus. Lecture slides and other ...

7:39
CSE 340 F16 Office Hours: "Lambda Calculus"

1,383 views

9 years ago

TYPES 2022
A Simple Concurrent Lambda Calculus for Encoding Session Types - Jules Jacob
12:58
A Simple Concurrent Lambda Calculus for Encoding Session Types - Jules Jacob

30 views

3 years ago