La Lógica Combinatoria es un modelo del cómputo equivalente al "cálculo lambda", pero sin la abstracción.