JetBrains Research unites scientists working in challenging new disciplines

Seminar on Closure Calculus

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:

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