lambdakalkyle
udtryk, som består af variabler, funktionsdefinitioner og funktionsanvendelser. En beregning sker ved at reducere et lambda-udtryk indtil det ikke kan reduceres mere. Lambdakalkylen skelner ikke mellem programmer og data, da begge repræsenteres som lambda-udtryk. Syntaks Et lambda-udtryk