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

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

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

Описание

Система \( \lambda_{\rightarrow} \). Предтермы. Отношение типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Система минимальной пропозициональной логики. Соответствие Карри-Говарда.

Видео