Re: Bureaucracy and identity

Hi,

a very quick answer to Stephane, because I realise that there is a 
possible nasty misunderstanding.

I never intended to disregard term syntax, I'm very sorry if I gave 
this impression. I'm fighting against associativity and commutativity 
only in view of a *geometric* deduction model.

A *computational* deduction model is a different business completely, 
and for that we need term calculi and the way Stephane and Kai deal 
with associativity and commutativity makes perfect sense to me.

Sorry if this didn't come through: I think that, as always, both the 
deductive and the computational aspects should be developed, possibly 
together so that they go along nicely.

One more thing: I agree that pipes and tubes should be the same thing 
(I guess they're both realisations of that idea Stephane and I 
discussed in Paris at the end of Michel's workshop, right?). I prefer 
the word `pipe' because it reminds me of when I was young and smoking 
pot, instead of taking the underground, but that's all.

I have more to say about the various issues that Stephane touches, 
but that has to wait ten days or so.

Ciao,

-Alessio