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