CSL
Alessio Guglielmi <Alessio.Guglielmi-r/[email protected]>
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <[email protected]> |
Hello,
I'm happy to report that two papers on our themes
have been accepted at CSL '04:
On Proof Nets for Multiplicative Linear Logic with Units
François Lamarche and Lutz Straßburger
and
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity
Pietro Di Gianantonio
I am against conferences, but what can I do?, if
they accept our stuff I'm happy...
Ciao,
-Alessio