Talk:Binary combinatory logic

This is an old revision of this page, as edited by 87.110.182.18 (talk) at 21:40, 5 June 2012 (Created page with 'I think this article may not have reliable sources, but it deserves to live at least because of very concise and elegant definition of it's subject. Even if this...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Latest comment: 13 years ago by 87.110.182.18

I think this article may not have reliable sources, but it deserves to live at least because of very concise and elegant definition of it's subject. Even if this is an original investigation, I suppose that it has no chances to be published standalone, yet contains useful information. I myself being logician haven't even realized that S and K combinators can be written in prefix codes in this way. But it's so obvious and elegant.

87.110.182.18 (talk) 21:40, 5 June 2012 (UTC)Anatoly.Reply