redex

English

Etymology

From "reducible expression".

Pronunciation

• IPA^(key): /ˈɹiːdɛks/

Noun

redex (plural redexes)

1. (mathematics) Something to be reduced according to the rules of a formal system.

See also

• lambda calculus