Video library: S. L. Kuznetsov, Лямбда-исчисление. Семинар 1

RUS ENG

VIDEO LIBRARY


Summer School “Contemporary Mathematics” Named After Vitaly Arnold, 2025 July 25, 2025 17:15, Moscow region, Dubna

Лямбда-исчисление. Семинар 1

S. L. Kuznetsov

Website: https://mccme.ru/dubna/2025/courses/kuznetsov_sl.html

Series of lectures

Лямбда-исчисление. Семинар 1
S. L. Kuznetsov, July 25, 2025 17:15
Лямбда-исчисление. Семинар 2
S. L. Kuznetsov, July 26, 2025 17:15
Лямбда-исчисление. Семинар 3
S. L. Kuznetsov, July 28, 2025 15:30
Лямбда-исчисление. Семинар 4
S. L. Kuznetsov, July 29, 2025 11:15

© Steklov Math. Inst. of RAS, 2025