Re:How to use `deep inference'?

Paola Bruscoli <Paola.Bruscoli-r/[email protected]>
Newsgroups gmane.science.mathematics.frogs
Message-ID <p0602040abca57c756f5d@[141.76.34.37]>
At 11:13 Uhr +0200 08.04.2004, Alessio Guglielmi wrote:
>I propose to discuss a bit the use of the words `deep inference' and 
>`calculus of structures'. I'd like to understand what is the opinion 
>of the majority and I will stick to it, in the papers, the web site, 
>lectures, talks, whatever.

I totally agree with you, my dear husband.
-Paola
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.