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.
noun
The act of beta reducing, an instance of replacing a function call by the result of calling a function.
Definition source: English Wiktionary via Wiktextract
Usage: countable, uncountable
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
noun
One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (λx.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s.
Definition source: English Wiktionary via Wiktextract
Usage: countable, uncountable
Topics: computing, computing-theory, engineering, mathematics, natural-sciences, physical-sciences, sciences
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
History
No etymology was provided for this word.
