Barr, M. (1991) *-Autonomous categories and linear logic. Mathematical Structures in Computer Science 1 159–178.
Blute, R. (1993) Linear logic, coherence, and dinaturality. Theoretical Computer Science 115 3–41.
Blute, R., Cockett, R., Seely, R. and Trimble, T. (1996) Natural deduction and coherence for weakly distributive categories. Journal of Pure and Applied Algebra 113 229–296.
Cockett, R. and Seely, R. (1997) Weakly distributive categories. Journal of Pure and Applied Algebra 114 (2)133–173.
Danos, V. and Regnier, L. (1989) The structure of multiplicatives. Archive for Mathematical Logic 28 181–203.
Day, B. (1970) On closed categories of functors. In: Reports of the Midwest Category Seminar IV. Springer Lecture Notes in Mathematics 137 1–38.
Došen, K. and Petrić, Z. (2005) Proof-Net Categories, Polimetrica, Milan.
Girard, J.-Y. (1987) Linear logic. Theoretical Computer Science 50 (1)1–102.
Heijltjes, W. (2011) Proof nets for additive linear logic with units. In: Proceedings Logic in Computer Science 207–216.
Heijltjes, W. and Houston, R. (2014) No proof nets for MLL: Proof equivalence in MLL with units is PSPACE-complete. In: Proceedings of the Joint Meeting of Computer Science Logic and Logic in Computer Science (CSL-LICS) 2014. Proceedings Logic in Computer Science. To appear.
Houston, R. (2008) Modelling Linear Logic without Units, Ph.D. thesis, University of Manchester.
Hughes, D. J. (2012) Simple free star-autonomous categories and full coherence. Journal of Pure and Applied Algebra 216 (11)2386–2410.
Joyal, A. and Street, R. (1991) The geometry of tensor calculus, I. Advances in Mathematics 88 55–112.
Kelly, G. M. (1964) On MacLane's conditions for coherence of natural associators, commutativites, etc. Journal of Algebra 1 397–402.
Kelly, G. M. (1982) Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Notes Series, volume 64, Cambridge University Press.
Kelly, G. M. and Mac Lane, S. (1971) Coherence in closed categories. Journal of Pure and Applied Algebra 1 97–140.
Lafont, Y. (1995) From proof nets to interaction nets. In: Advances in Linear Logic, London Mathematical Society Lecture Notes, volume 222, Cambridge University Press 225–247.
Lamarche, F. and Straßburger, L. (2005) Constructing free Boolean categories. Proceedings Logic in Computer Science, 209–218.
Lamarche, F. and Straßburger, L. (2006) From proof nets to the free *-autonomous category. Logical Methods in Computer Science 2 (4:3) 1–44.
Mac Lane, S. (1963) Natural associativity and commutativity. Rice University Studies 49 28–46.
Selinger, P. (2011) A survey of graphical languages for monoidal categories. Lecture Notes in Physics 813 289–355.
