This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
R. Blute (1993) Linear logic, coherence, and dinaturality. Theoretical Computer Science 115 3–41.
R. Blute , R. Cockett , R. Seely and T. Trimble (1996) Natural deduction and coherence for weakly distributive categories. Journal of Pure and Applied Algebra 113 229–296.
R. Cockett and R. Seely (1997) Weakly distributive categories. Journal of Pure and Applied Algebra 114 (2) 133–173.
V. Danos and L. Regnier (1989) The structure of multiplicatives. Archive for Mathematical Logic 28 181–203.
B. Day (1970) On closed categories of functors. In: Reports of the Midwest Category Seminar IV. Springer Lecture Notes in Mathematics 137 1–38.
J.-Y. Girard (1987) Linear logic. Theoretical Computer Science 50 (1) 1–102.
D. J. Hughes (2012) Simple free star-autonomous categories and full coherence. Journal of Pure and Applied Algebra 216 (11) 2386–2410.
A. Joyal and R. Street (1991) The geometry of tensor calculus, I. Advances in Mathematics 88 55–112.
G. M. Kelly (1964) On MacLane's conditions for coherence of natural associators, commutativites, etc. Journal of Algebra 1 397–402.
G. M. Kelly and S. Mac Lane (1971) Coherence in closed categories. Journal of Pure and Applied Algebra 1 97–140.
F. Lamarche and L. Straßburger (2006) From proof nets to the free *-autonomous category. Logical Methods in Computer Science 2 (4:3) 1–44.
P. Selinger (2011) A survey of graphical languages for monoidal categories. Lecture Notes in Physics 813 289–355.