Document Versions

Non-commutativity and MELL in the Calculus of Structures –Alessio Guglielmi, Lutz Straßburger — 2001 — OF LECTURE NOTES IN COMPUTER SCIENCE
MELL in the Calculus of Structures –Lutz Straßburger, Technische Universität Dresden, Fakultät Informatik — 2001 — of Lecture Notes in Computer Science
MELL in the Calculus of Structures –Lutz Straßburger — 2003
Non-commutativity and MELL in the calculus of structures –Alessio Guglielmi, Lutz Straßburger — 2001 — OF LECTURE NOTES IN COMPUTER SCIENCE
Non-commutativity and MELL in the calculus of structures –Alessio Guglielmi, Lutz Straßburger, Technische Universität Dresden — 2001 — of Lecture Notes in Computer Science