lambdakalkyle
beregning, da den er vist ækvivalent med andre modeller for beregning såsom Turingmaskiner. Lambda-udtryk Lambdakalkylen arbejder med lambda-udtryk, som består af variabler, funktionsdefinitioner og funktionsanvendelser. En beregning sker ved at reducere et lambda-udtryk indtil det ikke kan