Лекция 4 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
446
Лекториум193 тыс
Следующее
24.07.13 – 3912: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
Свежие видео
12 часов – 3 1609:41
4 дня – 7 0375:59
6 дней – 9 93011:10
9 дней – 40 7191:47:37
Случайные видео
226 дней – 20 5640:26
299 дней – 14113:51
353 дня – 31 1741:52:08
11 часов – 23034:28
3 дня – 11 7391:07
3 дня – 10 1882:40
7 дней – 5 29240:56
8 дней – 3875:38
10 дней – 3430:31
10 дней – 4 8980:48
11 часов – 3746:33