Лекция 8 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
408
68
Лекториум193 тыс
Следующее
24.07.13 – 35 1081:44:54Популярные
Опубликовано 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
Свежие видео
4 дня – 14 54727:59
8 дней – 38 4420:51
9 дней – 80 57712:07
9 дней – 8 14816:03
10 дней – 42 85022:39
Случайные видео
148 дней – 12 1291:20:30
05.11.22 – 2 6640:40
05.06.22 – 2 4031:31:34
06.08.15 – 63 5792:38
4 дня – 14 5813:11
5 дней – 17 1421:00
8 дней – 25 4585:12
9 дней – 7460:19
10 дней – 5316:19
13 дней – 163 8361:00
13 дней – 11 84811:15
4 дня – 10123:20