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 lógica combinatoria" , John Tromp afirma:
CL puede verse como un subconjunto de cálculo lambda ... las teorías son en gran medida las mismas, llegando a ser equivalentes en presencia de la regla de la extensionalidad.
¿Bajo qué condiciones se usaría la lógica combinatoria en lugar del cálculo lambda ?
Cualquier referencia sería apreciada.