Of Legal Language and CS Notation

[Shriram Krishnamurthi <address@hidden>]

Hi Peter:

> The short answer is yes, lawyers don't really talk that way other than
> to key in on issues. And no, legal language is really more of a
> historical accident.

Are you sure that's what you meant to say?  Because I don't believe
that.  I have no trouble believing that the actual structure of legal
language is a historical accident, in just the same way that the use
of bars to write type (and logical) judgments is probably a historical
accident, and the use of lambda most definitely is one.  And if so, is
all other jargon explicable as a historical accident too?

Shriram