City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Просто типизированное лямбда-исчисление
Systems of typed lambda calculi

What: Lecture
When: Sunday, 06 March 2011, 13:00–14:35
Where: ПОМИ РАН
Slides: systemsoftypedlambdacalculi_lecture_060311.pdf

Description

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

Video