I also wrote a paper about recursive combinators which touches on these ideas a bit: http://archive.vector.org.uk/art10501740

And I translated some of Aaron Hsu's APL ideas into k5. With a little massaging they work just as well: https://github.com/JohnEarnest/ok/blob/gh-pages/examples/key...