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.Deduction theoremRelated: Hilbert-style implication reasoning can be represented by combinators that encode the theorem.Cartesian closed categoryRelated: Cartesian closed structure can interpret combinatory terms using morphisms and products.