Просто типизированное лямбда-исчисление

Вывод типов в системах Карри и Чёрча просто типизированного лямбда-исчисления. Незамкнутость просто типизированной системы относительно экспансии.