Non‐commutative intuitionistic linear logic

• 1 January 1990
• journal article
• Published by Wiley in Mathematical Logic Quarterly
• Vol. 36  (4) , 297-318
• https://doi.org/10.1002/malq.19900360405

Abstract