redex

From Wiktionary, the free dictionary

Jump to navigation Jump to search

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"