Системы типизации лямбда-исчисления. Лекция 8
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.11
Дата публикации:
27.03.11
Код для блога:
Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев тип, произведение и сумма типов. Типы для чисел Чёрча и списков. Индуктивные типы.
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
20110327_systems_of_typed_lambda_calculi_moskvin_lecture08.pdfДругие лекции курса
7