Re: Red and blue (again)

>
> Myself included, agreed. The only reason why I mention order is that 
> categorical semantics was born for the sequent calculus, which means 
> (to me) that it's a bit unfair to judge the sequent calculus against 
> it.

Actually, it would be *fairer*, though not the whole story, to say, 
Lambek notwithstanding,
that it was *born* for NJ, because of normalization/coherence issues; 
which has a few
consequences. The Canadians have done a lot.

I'm about to take a long vacation.  See you in Bath next term.

:- )  D.



-- 
Prof. David J. Pym                Telephone: +44 (0)1 225 38 3246
Professor of Logic & Computation  Facsimile: +44 (0)1 225 38 3493
University of Bath                Email: [email protected]
Bath BA2 7AY, England, U.K.       Web: http://www.bath.ac.uk/~cssdjp

Royal Society Industry Fellow, HP Labs, Bristol: [email protected]