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

Лекция 8. Теоретико-множественная семантика типизованного лямбда-исчисления

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


https://youtu.be/gViyKDkidlQ

© МИАН, 2024