Cálculo lambda

Definição – O que significa o cálculo lambda? O cálculo lambda é um tipo de sistema formal de lógica matemática usado em ciência da computação para definição, aplicação e recursão de funções. A programação funcional de computadores surgiu desse tipo de cálculo e atua, por sua vez, como um modelo para o desenvolvimento de software, … Ler mais