0 cálculo LambdaSistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por Alonzo Church y Stephen Kleene en la década de 1930. Se puede emplear para definir qué es una "función computable".2004-12-09
