KnowraCombinatory logicLinked fromLinked fromThe 4 pages that link to Combinatory logic, each with the reason it gives.All 4Related 2Compared with 2Lambda calculusCompared with: It expresses comparable computation without lambda abstraction or variable binding.Free variableCompared with: It offers a variable-free alternative to expressions containing free variables.