Definitions
from Wiktionary, Creative Commons Attribution/ShareAlike License.
 noun Plural form of
redex .
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page adfree) by adopting the word redexes.
Examples

An appropriate subrelation of reduction is the simultaneous contraction of a set of nonoverlapping redexes, which is denoted by sc.
Combinatory Logic Bimbó, Katalin 2008

˜Nonoverlapping™ means that there are no shared subterm occurrences between two redexes. sc includes because a onestep reduction of a redex may be viewed instead as sc of a singleton set of redexes. sc is, obviously, included in ¥ (i.e., in reduction).
Combinatory Logic Bimbó, Katalin 2008

A term that is either of the form SMNP or of the form KMN is a redex, and the leading combinators (S and K, respectively) are the heads of the redexes.
Combinatory Logic Bimbó, Katalin 2008

A term is in normal form (nf) when it contains no redexes.
Combinatory Logic Bimbó, Katalin 2008

Note that onestep reduction need not decrease the total number of redexes that a term contains, hence, is does not follow that every term can be turned into one in nf after finitely many onestep reductions.
Combinatory Logic Bimbó, Katalin 2008
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.