Лекция 7 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
361
120.3
Лекториум194 тыс
Следующее
24.07.13 – 4081:15:51Популярные
41 день – 1145:34
42 дня – 9 5673:45Опубликовано 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
Свежие видео
2 дня – 68 59210:25
3 дня – 1 91010:00
4 дня – 5 6270:43
5 дней – 10:41
7 дней – 15 93434:55
10 дней – 37 84323:28Случайные видео
121 день – 446 32525:14
316 дней – 1 07717:55
13.10.23 – 4 1682:24:59
30.09.22 – 198 34332:02
01.07.20 – 56 42111:01
04.02.15 – 02:46
8 часов – 4 7790:51
21 час – 85615:00
2 дня – 10:26
3 дня – 16 6581:34:54
5 дней – 5910:59
5 дней – 750:35
1 день – 3 4870:53