[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.