RUS  ENG
Full version
SEMINARS
Special course "Lambda calculus, or computational proof theory", 2015
May 13, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)

Лямбда-исчисление, или вычислительная теория доказательств. Лекция 12

S. L. Kuznetsov



© Steklov Math. Inst. of RAS, 2024