RUS
ENG
Полная версия
СЕМИНАРЫ
Лямбда-исчисление
4 октября 2021 г.
16:25
, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom
Лекция 5.Неразрешимые задачи, связанные с бета-редукцией
С. Л. Кузнецов
https://youtu.be/ncsxm6UhoHk
©
МИАН
, 2024