Лекция 1. С.Л. Кузнецов. Лямбда-исчисление

Курс С.Л. Кузнецова. МФТИ - МИАН. Лямбда-исчисление Лекция 1. С.Л. Кузнецов. Лямбда-исчисление 6 сентября 2021 г.16:25, г.Москва, МИАН, комн.430 (ул. Губкина,8) + Zoom Источник:
Все видео курса: www.mathnet.ru/conf1845    • 2021 г. С.Л. Кузнецов. Лямбда-исчисление. ...