redex

English edit

Etymology edit

From "reducible expression".

Pronunciation edit

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

Noun edit

redex (plural redexes)

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

See also edit

lambda calculus

Retrieved from "https://en.wiktionary.org/w/index.php?title=redex&oldid=68768901"