From The Free On-line Dictionary of Computing (19 January 2023): redex Reducible Expression. An expression matching the left hand side of a reduction rule or definition.
redex
Reducible Expression. An expression matching the left hand side of a reduction rule or definition.
