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