Re: Bureaucracy and identity

Hello,

At 16:45 +0200 13.4.05, Lutz Strassburger wrote:
>Since we had recently this interesting dicussion on bureaucracy and 
>identity of proofs on this list, I'd like to announce the paper 
>"From Deep Inference to Proof Nets" which I wrote more or less at 
>the same time when the discussion was going on. It can be found here:
>
>http://www.ps.uni-sb.de/~lutz/papers/deepnet.ps

Maybe the first sentence in the introduction is a bit too strong (but 
thank you!).

>In order to capture Formalism B, we would need Alessio's "pipes".

"My" pipes are not different (I think) from Kai's and Stephane's 
ones. I guess the idea comes from a discussion Stephane and I had in 
Paris at Michel's workshop, and I'm sure Kai worked on that 
independently, too.

I just wanted to say that I don't consider pipes "my" idea. They do 
come out naturally from the idea of allowing inference rules on 
derivations, but their technical realisation and understanding 
requires work, and I don't want this work to be attributed to myself 
only.

I didn't read the paper, yet, but I'll do it as soon as I can.

Ciao,

-Alessio