Comparing algorithms (L+) and (C)
Turner's algorithm (C) can be thought of as a sub-algorithm of (L+). Try it on the term f(g(yxz))(hyx) and see that the abstracts only differ in the names used for the combinators that are introduced by the abstraction process.
Try some examples yourself to see how these two algorithms compare. The abstracts cease to be "isomorphic" when (L+) makes use of a combinator that does not occur in this list: I, n, ny, yn, yy, nny, nyn and nyy.
© Antoni Diller (28 May 2013)