S. L. Kuznetsov and S. O. Speranski's course "Computability Theory and Lambda Calculus"
March 11, 2026 18:00, Moscow, Steklov Mathematical Institute, Room 303 (8 Gubkina St.)