0%

beta reduction

B b

Transcription

    • US Pronunciation
    • US IPA
    • US Pronunciation
    • US IPA

Definition of beta reduction words

  • noun Technical meaning of beta reduction [lambda-calculus] The application of a lambda abstraction to an argument expression. A copy of the body of the lambda abstraction is made and occurrences of the bound variable being replaced by the argument. E.g. (\ x . x+1) 4 --> 4+1 Beta reduction is the only kind of reduction in the pure lambda-calculus. The opposite of beta reduction is beta abstraction. These are the two kinds of beta conversion. See also name capture. 1
Just one definition for beta reduction

Information block about the term

Parts of speech for Beta reduction

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of Beta reduction

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?