Что: Семинар
Когда: Пятница, 28 февраля 2014, 20:00–21:20
Где: ФМЛ 239, Актовый зал

Описание

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

Приложенные файлы