La característica más importante del cálculo lambda consiste en que una gramática puede aplicarse a sí misma, se pueden definir funciones recursivas sin usar tener que usar recursividad.