RUS  ENG
Full version
SEMINARS

February 11, 2026 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)

Лекция 1. Теория вычислимости и лямбда-исчисление

S. L. Kuznetsov, S. O. Speranski

© Steklov Math. Inst. of RAS, 2026