Лямбда исчисление 3 (3). Типизированное лямбда исчисление
Д.Н.Москвин. Изучаем математику и физику Учебные и иллюстративные материалы для школьников, студентов младших курсов и преподавателей
11 views
561
137
9 months ago
01:06:25
1
Дмитрий Сошников — Введение в теорию функционального программирования с примерами на F#
11 months ago
00:36:13
1
Функциональное программирование во фронтенде: лямбда-исчисление и JS, монады, Elm, Fantasy Land
1 year ago
01:53:08
1
Вычислимость и неразрешимые задачи
2 years ago
01:21:07
10
Формальная философия-78: доклад Степана Кузнецова «Категориальные грамматики Ламбека» (часть 2)
2 years ago
01:21:46
9
Формальная философия-78: доклад Степана Кузнецова «Категориальные грамматики Ламбека» (часть 1)
2 years ago
01:01:31
2
Теория алгоритмов: лямбда исчисления
2 years ago
01:28:40
8
Глеб Красилич//Лямбда-исчисление и Соответствие Карри-Говарда
2 years ago
00:59:45
1
Вячеслав Шебанов — Системы типов в двух словах
2 years ago
01:31:16
1
3. Просто типизированное лямбда-исчисление
2 years ago
01:30:11
1
1. Лямбда-исчисление
3 years ago
00:36:37
1
Лямбды. Не такие и страшные
4 years ago
02:02:57
4
Лямбда исчисление и функциональное программирование. Часть 1 | Лекция
4 years ago
02:23:43
1
Лямбда-исчисление
4 years ago
01:50:47
5
Просто типизированное лямбда-исчисление
4 years ago
00:00:00
1
tap unplugged #18
4 years ago
01:24:18
13
[Коллоквиум]: Линейная логика и функциональное программирование
5 years ago
01:36:02
9
Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление...
5 years ago
00:56:50
3
С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»
6 years ago
01:34:22
18
HoTT 1: Типизированное лямбда исчисление
7 years ago
00:46:54
10
Лямбда исчисление 2_2
7 years ago
01:07:45
10
Лямбда исчисление 2_1
7 years ago
00:49:33
19
Лямбда исчисление 1_2
7 years ago
00:56:50
60
Лямбда исчисление 1_1
8 years ago
01:50:47
11
Лямбда исчисление 3 (3). Типизированное лямбда исчисление
Back to Top