RUS  ENG
Full version
SEMINARS

Lambda Calculus
September 6–December 13, 2021, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom, Moscow

We kindly ask all participants, including remote ones and those
watching recorded videos, to register at https://forms.gle/b3YiwYqHsvfNTB52A.



Fall Semester Schedule of 2021/2022:

Time: Monday 16:25 – 17:50

First lecture: September 6



Announcements:
Лекция 20 сентября пройдёт в онлайн-формате.


Financial support. The course is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, Agreement no. 075-15-2019-1614).


Задачи, часть 1
Задачи, часть 2
Задачи, часть 3


RSS: Forthcoming seminars

Seminar organizer
Kuznetsov Stepan Lvovich

Organizations
Moscow Institute of Physics and Technology (State University), Dolgoprudny, Moscow region
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center




© Steklov Math. Inst. of RAS, 2024