Non-commutativity and MELL in the calculus of structures (2001)

by Alessio Guglielmi, Lutz Straßburger
Venue:Computer Science Logic, CSL 2001, volume 2142 of LNCS