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