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

Рекурсивные типы и типы-пересечения
Системы типизации лямбда-исчисления

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

Описание

Рекурсивные типы: система \( \lambda\mu \). Отношение эквивалентности между типами, дерево типа. Типизация Y-комбинатора. Cвойства системы \( \lambda\mu \). Типы-пересечения: система \( \lambda\cap \). Отношение подтипирования, общий надтип \( \top \). Экспансия субъекта. Cвойства системы \( \lambda\cap \).