2
¿Son iguales el cálculo lambda y la lógica combinatoria?
Actualmente estoy leyendo " Cálculo Lambda y Combinadores " de Hindley y Seldin. No soy un experto, pero siempre me ha interesado el cálculo lambda debido a su participación en la programación funcional (comenzando con Lisp y SICP, y ahora con R y Haskell). En " Cálculo binario lambda y …