[stack] On Presenting the Semantics of Cat Formally

"Christopher Diggins" <[email protected]>
Newsgroups gmane.comp.lang.concatenative
Message-ID <[email protected]> 
I've just recently made a rather long-winded post on
Lambda-the-Ultimate ( http://lambda-the-ultimate.org/node/1979 )
concerning how to best present the semantics of Cat formally for the
paper I am working on. I am confident the resulting discussion will be
interesting and illuminating, but I'd like also like to hear any
feedback this list has to share.

Thanks,
Christopher Diggins
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.