Лекция 4 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
448
Лекториум194 тыс
Следующее
24.07.13 – 3932:05:47Популярные
Опубликовано 24 июля 2013, 20:18
Лекция 4 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13184
Система λ→. Предтермы. Отношение типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Система минимальной пропозициональной логики. Соответствие Карри-Говарда.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13184
Система λ→. Предтермы. Отношение типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Система минимальной пропозициональной логики. Соответствие Карри-Говарда.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
3 дня – 30 07036:28
5 дней – 19 3150:58
6 дней – 8 2933:56
6 дней – 14 4882:03
6 дней – 2 8831:43:05
Случайные видео
235 дней – 30 7464:06
272 дня – 6 9490:57
276 дней – 75 05751:26
25.05.23 – 48 24913:06
14.02.23 – 5 2517:09
23.10.17 – 274 0421:25
17 часов – 1 0640:46
6 дней – 5 5130:33
7 дней – 22 1322:09
8 дней – 3 7530:56
9 дней – 19 8223:25
12 дней – 2 16513:21
12 дней – 5920:55
1 день – 23 1415:24