Лекция 8 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
408
68
Лекториум194 тыс
Следующее
24.07.13 – 35 1581:44:54Популярные
30 дней – 1475:56Опубликовано 24 июля 2013, 20:19
Лекция 8 | Курс: Системы типизации лямбда-исчисления | Лектор: Денис Москвин | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13209
Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев тип, произведение и сумма типов. Типы для чисел Чёрча и списков. Индуктивные типы.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/13209
Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев тип, произведение и сумма типов. Типы для чисел Чёрча и списков. Индуктивные типы.
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
3 дня – 50 8981:10:51
13 дней – 33 2460:57
27 дней – 23 52556:30
28 дней – 41 92421:21
Случайные видео
166 дней – 70 71916:52
13.12.22 – 17722:28
22.06.22 – 6211:31:34
22.02.21 – 56 7621:00:16
26.03.09 – 10 2286:31
25 дней – 50 66929:48
15 часов – 23 58322:47
15 часов – 4381:01
1 день – 2 2290:46
2 дня – 1 60252:45
3 дня – 4 0967:47
4 дня – 58 9720:52
