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

Описание

Зависимости между термами и типами. Система с операторами над типами \( \lambda\underline{\omega} \). Конструкторы типов. Виды (kinds). Система с зависимыми типами \( \lambda P \). Семейства типов. Виды для семейств типов. Тип зависимого произведения (\( Pi \)-тип). Проблема равенства типов. Системы лямбда-куба. Общие и специальные правила присваивания типов.