Discussão:Cálculo lambda
Adicionar tópicoAcho 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)