Combinatory Logic

Systems of combinators are designed to do the same work as systems of Lambda Calculus, but without using bound variables. (Hindley and Seldin 2008, 21)

References:

Hindley, J Roger, and Jonathan P Seldin. 2008. Lambda-Calculus and Combinators: An Introduction. Cambridge University Press.