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

Просто типизированная система: разрешимость, нормализация, расширения
Системы типизации лямбда-исчисления

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

Описание

Проблемы разрешимости: проверка типа, синтез типа и населенность типа. Лемма об образовании редексов. Меры типа и терма. Слабая нормализация для \( \lambda_{\rightarrow} \). Сильная нормализация. Интерпретации \( {\rightarrow} \)-типов. Расширение системы константами. \( \delta \)-редукция.

Видео