Redex

Home | Index

We love those sites:

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

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