M. Barr, *-Autonomous Categories, Lecture Notes in Mathematics, vol.752, 1979.
DOI : 10.1007/BFb0064579

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

V. Balat, R. D. , and C. , A Linear Logical View of Linear Type Isomorphisms, Computer Science Logic, CSL 1999, pp.250-265, 1999.
DOI : 10.1007/3-540-48168-0_18

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. Blute, F. Lamarche, and P. Ruet, Entropic hopf algebras and models of noncommutative linear logic, Theory and Applications of Categories, vol.10, pp.0-36, 2002.

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

URL : http://doi.org/10.1016/0304-3975(93)90053-v

K. Brünnler and A. Tiu, A Local System for Classical Logic, Lecture Notes in Artificial Intelligence, vol.2250, pp.347-361, 2001.
DOI : 10.1007/3-540-45653-8_24

P. Chu, Constructing *-autonomous categories, 1979.

J. R. Cockett and R. A. Seely, Proof theory for full intuitionistic linear logic, bilinear logic, and mix categories, Theory and Applications of Categories, vol.3, issue.5, pp.85-131, 1997.

J. R. Cockett and R. A. Seely, Weakly distributive categories, Journal of Pure and Applied Algebra, vol.114, issue.2, pp.133-173, 1997.
DOI : 10.1016/0022-4049(95)00160-3

V. Danos, La logique linéaire appliquée l'´ etude de divers processus de normalisation (principalement du ?-calcul), Thèse de Doctorat, 1990.

K. Do?en and Z. Petri´cpetri´c, Proof-Theoretical Coherence, 2004.

K. Do?en and Z. Petri´cpetri´c, Proof-net categories. preprint, Mathematical Institute, 2005.

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

G. Dowek and B. Werner, Abstract, The Journal of Symbolic Logic, vol.87, issue.04, pp.1289-1316, 2003.
DOI : 10.1007/BFb0037116

S. Eilenberg and G. M. Kelly, Closed Categories, Proceedings of the La Jolla Conference in Categorical Algebra, pp.421-562, 1966.
DOI : 10.1007/978-3-642-99902-4_22

C. Führmann and D. Pym, On the geometry of interaction for classical logic, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., 2004.
DOI : 10.1109/LICS.2004.1319615

C. Führmann and D. Pym, On the geometry of interaction for classical logic (extended abstract), 19th IEEE Symposium on Logic in Computer Science, pp.211-220, 2004.

C. Führmann and D. Pym, Order-enriched categorical models of the classical sequent calculus, Journal of Pure and Applied Algebra, vol.204, issue.1, 2004.
DOI : 10.1016/j.jpaa.2005.03.016

A. Fleury and C. Retoré, The mix rule, Mathematical Structures in Computer Science, vol.28, issue.02, pp.273-285, 1994.
DOI : 10.1016/0304-3975(93)90181-R

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

J. Girard, A new constructive logic: classic logic, Mathematical Structures in Computer Science, vol.7, issue.2, pp.255-296, 1991.
DOI : 10.1016/0304-3975(87)90045-4

J. Girard, Coherent Banach spaces: a continuous denotational semantics, Electronic Notes in Theoretical Computer Science, 1996.
DOI : 10.1016/S0304-3975(99)00056-0

J. Girard, Proof-nets : the parallel syntax for proof-theory, Logic and Algebra. Marcel Dekker, 1996.

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

S. Hayashi, Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus, Theoretical Computer Science, vol.41, pp.95-104, 1985.
DOI : 10.1016/0304-3975(85)90062-3

J. Martin, E. Hyland, and V. De-paiva, Full intuitionistic linear logic (extended abstract) Annals of Pure and Applied Logic, pp.273-291, 1993.

R. Houston, D. Hughes, and A. Schalk, Modelling linear logic without units (preliminary results). Preprint, 2005.

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

D. Hughes, Simple multiplicative proof nets with units. Preprint, available at http://arxiv.org/abs/math, CT/0507003, 2005.

D. Hughes and R. Van-glabbeek, Proof nets for unit-free multiplicative-additive linear logic, 18th IEEE Symposium on Logic in Computer Science (LICS 2003), pp.1-10, 2003.
DOI : 10.1145/1094622.1094629

G. Maxwell, K. , and S. M. Lane, Coherence in closed categories, Journal of Pure and Applied Algebra, vol.1, pp.97-140, 1971.

T. Koh and C. Ong, Internal Languages for Autonomous and ???-Autonomous Categories, Proceedings of the 8th Conference on Category Theory and Computer Science, 1999.
DOI : 10.1016/S1571-0661(05)80313-5

Y. Lafont and . Logique, Catégories et Machines, 1988.

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

J. Lambek, On the calculus of syntactic types, Studies of Language and its Mathematical Aspects, Proc. of the 12th Symp, pp.166-178, 1961.
DOI : 10.1090/psapm/012/9972

J. Lambek, Deductive systems and categories, Mathematical Systems Theory, vol.49, issue.4, pp.287-318, 1968.
DOI : 10.1007/BF01703261

J. Lambek, Deductive systems and categories II. Standard constructions and closed categories, Lecture Notes in Mathematics, vol.260, pp.76-122, 1969.
DOI : 10.1007/BFb0079385

F. Lamarche, On the algebra of structural contexts, Accepted at Mathematical Structures in Computer Science, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00099461

F. Lamarche, Exploring the gap between linear and classical logic, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00113785

F. Lamarche and C. Retoré, Proof nets for the Lambek-calculus ? an overview, Proceedings of the Third Roma Workshop " Proofs and Linguistic Categories, pp.241-262, 1996.
URL : https://hal.archives-ouvertes.fr/inria-00098442

J. Lambek and P. J. Scott, Introduction to higher order categorical logic, volume 7 of Cambridge studies in advanced mathematics, 1986.

Y. Lafont and T. Streicher, Games semantics for linear logic, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.43-50, 1991.
DOI : 10.1109/LICS.1991.151629

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, Naming Proofs in Classical Propositional Logic, Typed Lambda Calculi and Applications, pp.246-261, 2005.
DOI : 10.1007/11417170_19

URL : https://hal.archives-ouvertes.fr/hal-00012294

G. Mackey, On infinite-dimensional linear spaces, Mac63] Saunders Mac Lane. Natural associativity and commutativity, pp.155-20728, 1945.
DOI : 10.1090/S0002-9947-1945-0012204-1

S. Mac and L. , Categories for the Working Mathematician. Number 5 in Graduate Texts in Mathematics, 1971.

F. Métayer, Homology of proof-nets, Archive for Mathematical Logic, vol.50, issue.3, pp.169-188, 1994.
DOI : 10.1007/BF01203031

Q. Puite, Sequents and Link Graphs, 2001.

C. Retoré, Handsome proof-nets: perfect matchings and cographs, Theoretical Computer Science, vol.294, issue.3, pp.473-488, 2003.
DOI : 10.1016/S0304-3975(01)00175-X

K. I. Rosenthal, ???-Autonomous categories of bimodules, Journal of Pure and Applied Algebra, vol.97, issue.2, pp.189-202, 1994.
DOI : 10.1016/0022-4049(94)90059-0

R. R. Schneck, Natural deduction and coherence for non-symmetric linearly distributive categories, Theory and Applications of Categories, vol.6, pp.105-146, 1999.

R. A. Seely, Linear logic, *-autonomous categories and cofree coalgebras, Contemporary Mathematics, vol.92, 1989.
DOI : 10.1090/conm/092/1003210

L. Straßburger and F. Lamarche, On Proof Nets for Multiplicative Linear Logic with Units, Computer Science Logic, pp.145-159, 2004.
DOI : 10.1007/978-3-540-30124-0_14

L. Straßburger, On the axiomatisation of Boolean categories with and without medial, 2005.

L. Straßburger, Proof nets and the identity of proofs Lecture notes for ESSLLI'06, Szabo. Polycategories. Comm. Alg, vol.3, pp.663-689, 1975.

R. Thiele, Hilbert's Twenty-Fourth Problem, The American Mathematical Monthly, vol.110, issue.1, pp.1-24, 2003.
DOI : 10.2307/3072340

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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