# On Presenting the Semantics of Cat Formally

## Christopher Diggins — 2007-01-12 02:00:35

    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