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