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