Combinatory logic

tags

Logic

papers

(Cardone, Hindley 2009)

It was independently invented by Moses Schönfinkel, John Von Neumann and Haskell Curry.

A Turing-complete basis of operators is:

• \(If\quad\triangleright\quad f\)
• \(Kfg \quad\triangleright\quad f\)
• \(Sfgx \quad\triangleright\quad fx(gx)\)

Bibliography

1. Felice Cardone, J. Roger Hindley. 2009. In , edited by Dov M. Gabbay and John Woods, 5:723–817. Elsevier. DOI.