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 217 ord)
Vill du få tillgång till hela artikeln?

Medverkande

  • Peter Dybjer

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