Non-commutativity and MELL in the Calculus of Structures (2001)

by Alessio Guglielmi, Lutz Straßburger
Venue:OF LECTURE NOTES IN COMPUTER SCIENCE