RUS  ENG
Full version
SEMINARS

April 1, 2026 18:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)

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

S. L. Kuznetsov, S. O. Speranski



© Steklov Math. Inst. of RAS, 2026