redex

Noun

Meaning

redex (plural redexes)

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

Examples

;Applicative order: The rightmost, innermost redex is always reduced first. Source: Internet

;Full beta reductions: Any redex can be reduced at any time. Source: Internet

;Normal order: The leftmost, outermost redex is always reduced first. Source: Internet

Close letter words and terms