46:24
Рекурсия и редукция
02:04
Лекция 3 | Системы типизации лямбда-исчисления | Денис Москвин | Лекториум
Что значит слово "редуцируемость"? Как это понять?..
Modal body text goes here.
Что значит слово "редуцируемость"? Как это понять?..