M. Barr, *-Autonomous categories and linear logic, Mathematical Structures in Computer Science, vol.104, issue.02, pp.159-178, 1991.
DOI : 10.1016/0022-4049(89)90163-1

R. Blute, Linear logic, coherence and dinaturality, Theoretical Computer Science, vol.115, issue.1, pp.3-41, 1993.
DOI : 10.1016/0304-3975(93)90053-V

R. Blute, R. Cockett, R. Seely, and T. Trimble, Natural deduction and coherence for weakly distributive categories, Journal of Pure and Applied Algebra, vol.113, issue.3, pp.229-296, 1996.
DOI : 10.1016/0022-4049(95)00159-X

R. Cockett and R. Seely, Weakly distributive categories, Journal of Pure and Applied Algebra, pp.133-173, 1997.
DOI : 10.1017/cbo9780511525902.004
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.7455

V. Danos and L. Regnier, The structure of multiplicatives, Archive for Mathematical Logic, vol.28, issue.3, pp.181-203, 1989.
DOI : 10.1007/BF01622878

B. Day, On closed categories of functors, Reports of the Midwest Category Seminar IV, pp.1-38, 1970.
DOI : 10.1007/BFb0079385

K. Do?en and Z. Petri´cpetri´c, Proof-Net Categories, 2005.

J. Girard, Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987.
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966

W. Heijltjes, Proof Nets for Additive Linear Logic with Units, 2011 IEEE 26th Annual Symposium on Logic in Computer Science, pp.207-216, 2011.
DOI : 10.1109/LICS.2011.9

W. Heijltjes and R. Houston, No proof nets for MLL with units, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, 2014.
DOI : 10.1145/2603088.2603126

R. Houston, Modelling linear logic without units, 2008.

D. J. Hughes, Simple free star-autonomous categories and full coherence, Journal of Pure and Applied Algebra, vol.216, issue.11, pp.2386-2410, 2012.
DOI : 10.1016/j.jpaa.2012.03.020

A. Joyal and R. Street, The geometry of tensor calculus, I, Advances in Mathematics, vol.88, issue.1, pp.55-112, 1991.
DOI : 10.1016/0001-8708(91)90003-P

G. M. Kelly, On MacLane's conditions for coherence of natural associativities, commutativities, etc., Journal of Algebra, vol.1, issue.4, pp.397-402, 1964.
DOI : 10.1016/0021-8693(64)90018-3

G. M. Kelly, Basic Concepts of Enriched Category Theory, 1982.

G. M. Kelly, M. Lane, and S. , Coherence in closed categories, Journal of Pure and Applied Algebra, vol.1, issue.1, pp.97-140, 1971.
DOI : 10.1016/0022-4049(71)90013-2

Y. Lafont, From proof nets to interaction nets, Advances in Linear Logic, pp.225-247, 1995.
DOI : 10.1017/CBO9780511629150.012

F. Lamarche and L. Straßburger, Constructing Free Boolean Categories, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05), pp.209-218, 2005.
DOI : 10.1109/LICS.2005.13
URL : https://hal.archives-ouvertes.fr/hal-00012296

F. Lamarche and L. Straßburger, From Proof Nets to the Free *-Autonomous Category, Logical Methods in Computer Science, vol.2, issue.4, pp.1-44, 2006.
DOI : 10.2168/LMCS-2(4:3)2006

M. Lane and S. , Natural Associativity and Commutativity, Rice University Studies, vol.49, pp.28-46, 1963.
DOI : 10.1007/978-1-4615-7831-4_19
URL : http://hdl.handle.net/1911/62865

P. Selinger, A Survey of Graphical Languages for Monoidal Categories, Lecture Notes in Physics, vol.813, pp.289-355, 2011.
DOI : 10.1007/978-3-642-12821-9_4