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...
Free Download Now!
