lambdakalkyl
lambdakalkyl, formellt logiskt system som bygger på en notation för funktioner föreslagen av Alonzo Church ca 1930. Ett matematiskt uttryck såsom x2 kan informellt dels stå för en viss funktion,
(30 av 220 ord)
Vill du få tillgång till hela artikeln?
Medverkande
Litteraturanvisning
H.P. Barendregt,
The Lambda Calculus (
2:a upplagan 1984);
Kent Petersson,
Beräkningsbarhet för dataloger: Från λ till P (
1988).
Källangivelse
Nationalencyklopedin,
lambdakalkyl.
http://www.ne.se/uppslagsverk/encyklopedi/lång/lambdakalkyl