redex
English
Etymology
From "reducible expression"
Pronunciation
- IPA(key): /ˈɹiːdɛks/
Noun
redex (plural redexes)
- (mathematics) Something to be reduced according to the rules of a formal system.
See also
- lambda calculus