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



Лекция 4. Свойство Чёрча - Россера (окончание). Типовое лямбда исчисление: типизации по Чёрчу и по Карри

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


https://youtu.be/bGeU15uHKHo


© МИАН, 2024