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.
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
Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28