Исследовательская группа
Лаборатория языковых инструментов
Исчисление замыканий
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
Докладчик: Даниил Березун