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)
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)