Значение бета-редукция | Babel Free
[ˌbɛtə rʲɪˈdukt͡sɨɪ̯ə]Определения
матем. в λ-исчислении: операция переписывания редекса в соответствии с указанным правилом
Смотрите также
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free