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