Ich lese gerade " Lambda-Kalkül und Kombinatoren " von Hindley und Seldin. Ich bin kein Experte, habe mich aber immer für Lambda-Kalkül interessiert, weil ich mich mit funktionaler Programmierung befasst habe (angefangen mit Lisp und SICP, und jetzt mit R und Haskell).
In " Binary Lambda Calculus and Combinatory Logic" stellt John Tromp fest:
CL kann als Teilmenge der Lambda-Rechnung angesehen werden ... die Theorien sind weitgehend gleich und werden bei Vorhandensein der Extensionalitätsregel gleich.
Unter welchen Bedingungen würde man kombinatorische Logik anstelle von Lambda-Kalkül verwenden ?
Alle Referenzen wäre dankbar.