Город: Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Воскресенье, 22 мая 2011, 11:15–12:50
Где: ПОМИ РАН
Слайды: systemsoftypedlambdacalculi_lecture_220511.pdf

Описание

Спецификация чистой системы типов, правила и аксиомы типизации. Примеры PTS. Свойства PTS: редукция субъекта, лемма генерации, единственность типа. Сильная нормализуемость и разрешимость TCP и TSP. Населенность \( \bot \). Алгоритм синтеза типа для \( \lambda P \).