Что: | Лекция |
Когда: | Воскресенье, 06 марта 2011, 13:00–14:35 |
Где: | ПОМИ РАН |
Слайды: | systemsoftypedlambdacalculi_lecture_060311.pdf |
Система $ \lambda_{\rightarrow} $. Предтермы. Отношение типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Система минимальной пропозициональной логики. Соответствие Карри-Говарда.