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

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ abStraction ] [ ad ] [ al ] [ am ] [ an ] [ app ] [ application ] [ ar ] [ arc ] [ arg ] [ argument ] [ at ] [ B ] [ b ] [ bd ] [ be ] [ beta ] [ beta abStraction ] [ beta converSion ] [ bo ] [ bound variable ] [ bS ] [ by ] [ ca ] [ cat ] [ cc ] [ ch ] [ co ] [ con ] [ cu ] [ de ] [ du ] [ E ] [ ed ] [ edu ] [ ee ] [ er ] [ eS ] [ et ] [ eta abStraction ] [ eta converSion ] [ eta reduction ] [ expreSSion ] [ fi ] [ file ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ iS ] [ it ] [ ki ] [ la ] [ lambda abStraction ] [ lambda-calculuS ] [ lc ] [ Lex ] [ li ] [ lS ] [ lu ] [ ly ] [ ma ] [ mo ] [ mod ] [ module ] [ na ] [ name capture ] [ nc ] [ ng ] [ nl ] [ op ] [ ph ] [ pl ] [ pr ] [ pt ] [ pure lambda-calculuS ] [ py ] [ query ] [ rc ] [ re ] [ reduction ] [ S ] [ Se ] [ Si ] [ Sit ] [ So ] [ St ] [ T ] [ th ] [ to ] [ tr ] [ tw ] [ um ] [ uS ] [ va ] [ var ] [ variable ] [ ve ] [ verSion ]