redex
From WikiWord, the free dictionary
English
Definitions
No definition found for “redex”. Check the spelling, or try a related word.
Related words
Synonyms
leftmostreductionabbreviationrewritebeta reductionrationalizationruleconversionreduced algebraeliminandreduction to the absurdinterreducibilityeliminationderegressionirreduciblereductio ad absurdum