H.P. Barendregt, The Lambda Calculus ( 2:a upplagan 1984);
Kent Petersson, Beräkningsbarhet för dataloger: Från λ till P ( 1988).
Vill du få tillgång till hela artikeln?

Källangivelse
Nationalencyklopedin, Litteraturanvisning. http://www.ne.se/uppslagsverk/encyklopedi/lång/lambdakalkyl/litteraturanvisning