Lambda Calculus

Um sistema formal em lógica matemática para expressar computação com base na abstração e aplicação de funções usando a ligação e substituição de variáveis.