Re:Calculus of structures and sequent calculus

At 11:41 +0100 18.2.05, Alessio Guglielmi wrote:
>I started developing this in my paper `A System of Interaction and 
>Structure', to appear in ACM ToCL and available from 
><http://iccl.tu-dresden.de/~guglielm/p/SystIntStr.pdf>.

About relation webs: you might find my characterisation of relation 
webs excessively set-theoretic. Francois Lamarche wrote a much more 
compact, equivalent but different characterisation. Since you're a 
category theorist, as he is, you'll probably find his 
characterisation more illuminating than mine. I don't know whether 
Francois put his paper on the web.   -Alessio