M. Barr, Nonsymmetric ???-autonomous categories, Theoretical Computer Science, vol.139, issue.1-2, pp.115-130, 1995.
DOI : 10.1016/0304-3975(94)00089-2

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

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

P. Flajolet and M. Noy, Analytic combinatorics of non-crossing configurations, Discrete Mathematics, vol.204, issue.1-3, pp.203-22910, 1999.
DOI : 10.1016/S0012-365X(98)00372-0
URL : https://hal.archives-ouvertes.fr/inria-00073493

A. Guglielmi, A system of interaction and structure, ACM Transactions on Computational Logic, vol.8, issue.1, 2007.
DOI : 10.1145/1182613.1182614
URL : https://hal.archives-ouvertes.fr/inria-00441254

A. Guglielmi and L. Straßburger, Non-commutativity and MELL in the Calculus of Structures, Computer Science Logic, CSL LNCS, vol.2142, pp.54-68, 2001.
DOI : 10.1007/3-540-44802-0_5

F. Lamarche and C. Retoré, Proof nets for the Lambek-calculus ? an overview, Proceedings of the Third Roma Workshop " Proofs and Linguistic Categories, CLUEB, pp.241-262, 1996.

J. Lambek, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-169, 1958.
DOI : 10.2307/2310058

M. Noy, Enumeration of noncrossing trees on a circle, Discrete Mathematics, vol.180, issue.1-3, pp.301-31310, 1998.
DOI : 10.1016/S0012-365X(97)00121-0

J. Sawada, Generating Bracelets in Constant Amortized Time, SIAM Journal on Computing, vol.31, issue.1, pp.31-259, 2001.
DOI : 10.1137/S0097539700377037

J. A. Neil and . Sloane, The On-Line Encyclopedia of Integer Sequences, 2008.

L. Straßburger, Proof nets and the identity of proofs, Research Report, vol.6013, 2006.

V. Strehl, Identities of Rothe-Abel-Schläfli-Hurwitz-type, Discrete Mathematics, vol.993, issue.192, pp.321-34010, 1992.

N. David and . Yetter, Quantales and (noncommutative) linear logic, Journal of Symbolic Logic, vol.55, issue.1, pp.41-64, 1990.