Практика 3
Пятница, 28 февраля 2014
ФМЛ 239, Актовый зал
Вывод типов в системах Карри и Чёрча просто типизированного лямбда-исчисления. Незамкнутость просто типизированной системы относительно экспансии.