The talk will be devoted to Closure Calculus --- a new Turing-complete variant of typed lambda calculus, which lacks some known typical drawbacks of similar calculi.

Supplementary materials:

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

Presenter: Daniil Berezun

Date: March 18, 2019

Time: 17:15

Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28