Системы типизации лямбда-исчисления. Лекция 4
ЛекцияПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.11
Дата публикации:
06.03.11
Код для блога:
Система λ→. Предтермы. Отношение типизации. Контексты. Правила типизации по Карри и по Чёрчу. Деревья вывода типов. Система минимальной пропозициональной логики. Соответствие Карри-Говарда.
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:
20110306_systems_of_typed_lambda_calculi_moskvin_lecture04.pdfДругие лекции курса
7