beta abstraction
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
- Words starting with b
- Words starting with be
- Words starting with bet
- Words starting with beta
- Words starting with betaa
- Words starting with betaab
- Words starting with betaabs
- Words starting with betaabst
- Words starting with betaabstr
- Words starting with betaabstra
- Words starting with betaabstrac
- Words starting with betaabstract
- Words starting with betaabstracti
- Words starting with betaabstractio
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?