Что: | Лекция |
Когда: | Воскресенье, 27 марта 2011, 13:00–14:35 |
Где: | ПОМИ РАН |
Слайды: | systemsoftypedlambdacalculi_lecture_270311.pdf |
Интуиционистская пропозициональная логика второго порядка. Представление стандартных пропозициональных связок в \( \lambda2 \). Экзистенциальные типы. Пустой тип, булев тип, произведение и сумма типов. Типы для чисел Чёрча и списков. Индуктивные типы.