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