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