redex

1 definition found

redex - Free On-line Dictionary of Computing (26 May 2007) :

  redex
  
     Reducible Expression.  An expression matching the left hand
     side of a reduction rule or definition.