VDict - Definition of redex

Computing (FOLDOC) dictionary

redex

Jump to user comments

Reducible Expression. An expression matching the left hand

side of a reduction rule or definition.

Related search result for "redex"

Words pronounced/spelled similarly to "redex":
REDUCE redex RDS RDOS radix
Words contain "redex" in its definition in Computing (FOLDOC) dictionary:
delta reduction redex lenient evaluation head normalisation theorem reduction strategy parallel reduction normal order reduction Head Normal Form applicative order reduction reduction more...

Comments and discussion on the word "redex"