JetBrains Research — наука, меняющая мир

Семинар по исчислению замыканий

Доклад будет посвящён 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

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

18.03.2019, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28