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