Phrase guide
Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.
Sound
Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.
No pronunciation record was provided for this word.
noun
The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.
Definition source: English Wiktionary via Wiktextract
Topics: computer, computing, engineering, human-sciences, logic, mathematics, natural-sciences, philosophy, physical-sciences, science, sciences
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
History
Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.
