El Vikipedio

Lambda-abstraktado estas abstrakta lambda-esprimo. Ĝi estas esprimita en lingvo de lambda-kalkulo. Lambda-abstraktado rilatas al funkcionala programado same kiel pseŭda-kodo rilatas al imperativa programado.

Lambda-abstraktado estas lambda-esprimo sen liberaj variabloj: Ĉiu de ĝiaj variabloj estas barita per iu λ. Ekzemple

f (f (f x))

estas konkreta lambda-esprimo, sed

λf. λx. f (f (f x))

estas abstrakta lambda-esprimo.

Ekzemple, λ povas anstataŭi 'por ĉiu', 'por iu', aŭ 'estas'. En ĉi tiu okazo, la esprimo povis esti por 'logika propozicio'.