RUS  ENG
Полная версия
СЕМИНАРЫ

Лямбда-исчисление
22 ноября 2021 г. 16:25, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom


Лекция 11. Неразрешимость задачи о сильной нормализуемости

С. Л. Кузнецов


https://youtu.be/W_v02PaCKIM


© МИАН, 2024