Лекция 7 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
356
118.7
Лекториум193 тыс
Следующее
24.07.13 – 4081:15:51Популярные
33 дня – 1327:11
66 дней – 1 5450:29Опубликовано 24 июля 2013, 20:19
Лекция 7 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13208
Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление ∀. Проблемы разрешимости в полиморфном λ-исчислении в стиле Карри. Let-полиморфизм. Полиморфизм высших рангов. Система λ2 в стиле Чёрча. Универсальные абстракция и применение. Импредикативность. Связь между λ2 в стиле Карри и Черча. Сильная нормализация. Интерпретации ∀-типов. Параметричность.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13208
Полиморфные системы в стиле Карри. Сильный и слабый полиморфизм. Типы в контекстах. Введение и удаление ∀. Проблемы разрешимости в полиморфном λ-исчислении в стиле Карри. Let-полиморфизм. Полиморфизм высших рангов. Система λ2 в стиле Чёрча. Универсальные абстракция и применение. Импредикативность. Связь между λ2 в стиле Карри и Черча. Сильная нормализация. Интерпретации ∀-типов. Параметричность.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
5 часов – 8 65734:22
4 дня – 11 6406:33
4 дня – 4321:18
5 дней – 17 1421:00
7 дней – 9080:08
10 дней – 8 9900:24Случайные видео
161 день – 19 3831:00
25.03.23 – 15 77942:43
18.11.22 – 109 36430:45
20.10.22 – 1 53224:21
21.05.22 – 4 3960:47
7 часов – 10 5013:09
2 дня – 5 2871:00
2 дня – 5451:05
3 дня – 4 6538:46
6 дней – 75021:03
10 дней – 2 14726:21
13 дней – 62438:36
2 часа – 1 1880:56