Вы здесь

Системы типизации лямбда-исчисления. Лекция 8

Лекция
Предмет:
Дата записи:
01.03.11
Дата публикации:
27.03.11
Код для блога:

Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в λ2. Экзистенциальные типы. Пустой тип, булев тип, произведение и сумма типов. Типы для чисел Чёрча и списков. Индуктивные типы.

Страница лекции на сайте Computer Science клуба

Дополнительные материалы: 
Иконка PDF 20110327_systems_of_typed_lambda_calculi_moskvin_lecture08.pdf