Исследовательская группа

Лаборатория языковых инструментов

Исчисление замыканий

March 18

Доклад будет посвящён Closure calculus --- новому полному по Тьюрингу типизированному варианту лямбда-исчисления, лишённого ряда недостатков, типично присущих таковым исчислениям.

Материалы к докладу:

Barry Jay. A simpler lambda calculus // Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2019). DOI: https://doi.org/10.1145/3294032.3294085

Докладчик: Даниил Березун