redex

From Wiktionary, the free dictionary

Jump to navigation Jump to search

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

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