Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Полиморфные системы: логическая интерпретация и программирование
Системы типизации лямбда-исчисления

Что: Лекция
Когда: Воскресенье, 27 марта 2011, 13:00–14:35
Где: ПОМИ РАН
Слайды: systemsoftypedlambdacalculi_lecture_270311.pdf

Описание

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

Видео