Word:

beta abstraction

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.
Browse
Bestower
Bestowment
Bestraddle
Bestraught
Bestreak
Bestrew
Bestride
Bestrode
Bestrown
bestubbled
Bestuck
Bestud
Beswike
Bet
bet on
Beta
-- beta abstraction --
beta blocker
beta cell
Beta Centauri
beta conversion
Beta Crucis
beta decay
beta endorphin
beta globulin
beta iron
Beta Orionis
beta particle
beta radiation
beta ray
Beta rays
beta receptor
beta reduction
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home