0%

beta abstraction

B b

Transcription

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

Definition of beta abstraction words

  • noun Technical meaning of beta abstraction [lambda-calculus] The conversion of an expression to an application of a lambda abstraction to an argument expression. Some subterm of the original expression becomes the argument of the abstraction and the rest becomes its body. E.g. 4+1 --> (\ x . x+1) 4 The opposite of beta abstraction is beta reduction. These are the two kinds of beta conversion. 1

Information block about the term

Parts of speech for Beta abstraction

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation

See also

Matching words

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