Лекция 6 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
292
Лекториум193 тыс
Следующее
24.07.13 – 791:56:05Популярные
Опубликовано 24 июля 2013, 20:18
Лекция 6 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13186
Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для λ→. Сильная нормализация. Интерпретации →-типов. Расширение системы константами. δ-редукция.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13186
Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для λ→. Сильная нормализация. Интерпретации →-типов. Расширение системы константами. δ-редукция.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
7 дней – 1 1068:04
8 дней – 33 53424:06
9 дней – 19312:22
10 дней – 156 45559:27
10 дней – 2711:41Случайные видео
193 дня – 15 4880:47
345 дней – 2691:15:52
29.08.22 – 2 6901:13:11
15.02.22 – 5 60854:57
28.09.21 – 13 1476:16
22.09.16 – 24 04713:57
2 дня – 13635:10
3 дня – 12 2740:27
3 дня – 1 6300:22
12 дней – 12 9261:53
13 дней – 3 5169:24
14 дней – 12 7360:12
3 дня – 5 1391:05:35