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