By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

Redex

Reducible Expression.

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

< Previous Terms	Terms Containing redex	Next Terms >
recursive type Red Red Book Red Brick Intelligent SQL Redcode	applicative order reduction delta reduction eager evaluation Head Normal Form head normalisation theorem	Red Hat RediLisp redirection redirector RedNet Ltd.

Web Standards & Support: