# How to represent semantics with Combinatory Logic

How is Combinatory Logic relevant to software design? For example, can one transform programs into CL? If so, how? Does CL provide a canonical representation for programs?

• Combinatory logic is Turing-complete, just like many other programming formalisms. Are two-counter programs relevant to software design? – Yuval Filmus Jun 6 '14 at 0:42
• Combinatory logic is relevant to lower levels of representation of programs in compilers. It turns out that combinators, in the absence of variable bindings, are significantly closer to a straightforward implementation in machine language. See e.g. this – cody Jun 7 '14 at 15:03