Jump to content

Talk:Binary combinatory logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
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)

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]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Binary_combinatory_logic&oldid=496178169"