Get Babylon's Translation Software!
Free Download Now!
| Wikipedia Português A enciclopédia livre | Abaixe este dicionário |
Cálculo lambda
Cálculo lambda foi desenvolvido na década de 30 por Alonzo Church como parte de um sistema para lógicas de ordem superior e teoria das funções. O cálculo lambda pode ser considerado como uma linguagem de programação abstrata, isto é, as maneiras como funções podem ser combinadas para formar outras funções, é uma linguagem pura, sem efeitos colaterais, e sem complicações sintáticas.
Veja mais na Wikipédia.org...
Esse artigo usa material da Wikipédia® sob a licença GNU Free Documentation License
