Системы типизации лямбда-исчисления. Лекция 8
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.11
Дата публикации:
27.03.11
Код для блога:
Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев тип, произведение и сумма типов. Типы для чисел Чёрча и списков. Индуктивные типы.
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
![application/pdf Иконка PDF](/modules/file/icons/application-pdf.png)
Другие лекции курса
7