plural of reducing scale

(nautical) A version of the cat-o'-nine-tails (multi-tail whip), which has only five (instead of nine) 'tails' (thongs) of smooth whipcord.

plural of reduced cat

(euphemistic) Poverty.

simple past tense and past participle of beta reduce

Third-person singular simple present indicative form of beta reduce

(computer science, transitive or intransitive) To syntactically replace a function call by the result of calling that function.

(transitive) To destroy completely; to raze to the ground.

(physics) Half of the harmonic mean of two given masses.

(computing theory) Capable of undergoing Karp reduction.