Просто типизированное лямбда-исчисление
Функциональное программирование


Что: Лекция
Когда: Пятница, 28 февраля 2014, 18:30–19:50
Где: ФМЛ 239, Актовый зал
Слайды: func_prog_lecture_280214.pdf

Описание

Роль типов в языках программирования. Предтермы. Утверждения о типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Свойства типизированного лямбда-исчисления. Связь между системами Карри и Чёрча. Проблемы разрешимости. Сильная и слабая нормализация. Соответствие Карри-Говарда.

Материалы