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