Лекция 6 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
292
Лекториум194 тыс
Следующее
24.07.13 – 791:56:05Популярные
58 дней – 1 8800:40
34 дня – 1 2757:19Опубликовано 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
Свежие видео
4 дня – 10:30
4 дня – 6 56220:19
10 дней – 278 38140:30
13 дней – 2 4841:13:31
108 дней – 79 7920:16Случайные видео
15.06.23 – 3601:57:38
05.10.22 – 18 16348:05
11.04.22 – 2 5283:46
21.04.20 – 3 6324:36
21.12.18 – 653 72115:37
2 дня – 64 49412:04
2 дня – 4 0967:47
4 дня – 1 4961:16:27
6 дней – 1 39422:57
8 дней – 51 4621:40:23
8 дней – 5657:44
