L. D. Beklemishev, S. L. Kuznetsov. Computational proof theory and lambda calculus
December 9, 2019 16:30, Steklov Mathematical Institute, room 530, 8 Gubkina St., Moscow