- (Cardone and Hindley, n.d.)
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)\)
Cardone, Felice, and J Roger Hindley.
n.d. “History of Lambda-Calculus and Combinatory Logic,” 95.