On 5/17/07, Zefram <[EMAIL PROTECTED]> wrote:
I'm envisioning writing the entire ruleset in a formal denotational semantics language and automated theorem proving in the pi calculus... we're not going to get there easily.
That was kind of the idea behind schemenomic -- perhaps having an (authoritative) encoding of the rules in a logic, instead of a programming language, would work better. -- Taral <[EMAIL PROTECTED]> "Please let me know if there's any further trouble I can give you." -- Unknown