Traversal-based normalization  is a non-orthodoxal technique for lambda-style computations. At the moment this approach is interesting from purely theoretical standpoint; however a novel view on such a fundamental problem might have some practical value. The purpose of the talk is twofold: first, to give an overview of the current state of the problem, and, the second, to evaluate our capability in scientific publication comprehension (since one of the original paper's authors will presumably attend the talk).
 Daniil Berezun, Neil D. Jones. Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation // PEPM-2017.
Presenter: Dmitry Boulytchev
Date: March 27, 2017
Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28