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