Background information: Combinatory logic on Wikipedia

Basically it is a model of computation closely related to lambda calculus, but using a fixed set of combinators instead of lambda abstraction. The most prominent form of this is SKI (or SK) combinator calculus, which is extensionally equivalent to lambda calculus and therefore is Turing-complete (essentially a Turing tarpit).

I've identified nine challenges that are directly related to combinatory logic.

Some of these are tagged , but it isn't directly relevant to lambda calculus per se. So, can we have a separate tag for combinatory logic?



I think this would be a useful thing to have. As outlined in the question, this isn't fully covered by , and is to what (for example) is to . Additionally, as the example programs are split across 3 different search terms (at least), this isn't something that can be easily grouped with a single search term. Finally, there are not a large number of applicable questions, so adding this tag is unlikely to cause any edit disruption.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .