Origem: Wikipédia, a enciclopédia livre.
Acho que esse artigo está um pouco confuso. Cálculo lambda é - pelo meu parco conhecimento - uma parte da lógica abstrata, mas os exemplos são todos de linguagens de programação. Albmont 13:01, 17 Janeiro 2007 (UTC)