- permutative reduction
- мат. перестановочное приведение
Большой англо-русский и русско-английский словарь. 2001.
permutative reduction
Смотреть что такое "permutative reduction" в других словарях:
De Bruijn notation — For the representation of variables with natural numbers, see De Bruijn index. In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn.[1] It can be seen… … Wikipedia
