Please enable JavaScript.
Coggle requires JavaScript to display documents.
Cálculo Lambda (Termos lambda (Linguagem (Termos, Sintaxe, Regras de…
Cálculo Lambda
Termos lambda
Variável
Abstração (λx.M)
Não invoca a função
"Binda" x em t
Aplicação (M N)
Invoca função
Linguagem
Termos
Sintaxe
Regras de transformação
Características
Funções anônimas
Currying
Funções de primeira classe
Operações de redução
α-conversion
Substituição
Termos alpha-equivalentes
β-reduction
Variáveis livres
Substituições capture-avoiding
Alonzo Church (1930s)
