lambdakalkyle
Lambdakalkylen er en central matematisk beregningsmodel, der har haft stor betydning både i studiet af beregninger på ideelle computere og i studiet af matematisk logik. Den har også fundet anvendelser i filosofi, linguistik og design af programmeringssprog. Lambdakalkylen er en