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