by geospeck on 12/13/20, 6:56 PM with 1 comments
by bediger4000 on 12/13/20, 7:53 PM
There's a simple ogre, YK, but it has no normal form. There are lots of ogres in a different Combinatory Logic bases. The easiest way to find one is to look for "half-ogres", terms that reduce like this: O x y -> O x . An ogre is O O. There may not be ogres that have a normal form in SKI combinatory logic.