RUS  ENG
Full version
SEMINARS

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

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

S. L. Kuznetsov, S. O. Speranski



© Steklov Math. Inst. of RAS, 2026