*-Autonomous Categories, Lecture Notes in Mathematics, vol.752, 1979. ,
DOI : 10.1007/BFb0064579
Nonsymmetric ???-autonomous categories, Theoretical Computer Science, vol.139, issue.1-2, pp.115-130, 1995. ,
DOI : 10.1016/0304-3975(94)00089-2
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
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
Entropic hopf algebras and models of noncommutative linear logic, Theory and Applications of Categories, vol.10, pp.0-36, 2002. ,
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
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
Constructing *-autonomous categories, 1979. ,
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. ,
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
La logique linéaire appliquée l'´ etude de divers processus de normalisation (principalement du ?-calcul), Thèse de Doctorat, 1990. ,
Proof-Theoretical Coherence, 2004. ,
Proof-net categories. preprint, Mathematical Institute, 2005. ,
The structure of multiplicatives, Archive for Mathematical Logic, vol.28, issue.3, pp.181-203, 1989. ,
DOI : 10.1007/BF01622878
Abstract, The Journal of Symbolic Logic, vol.87, issue.04, pp.1289-1316, 2003. ,
DOI : 10.1007/BFb0037116
Closed Categories, Proceedings of the La Jolla Conference in Categorical Algebra, pp.421-562, 1966. ,
DOI : 10.1007/978-3-642-99902-4_22
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
On the geometry of interaction for classical logic (extended abstract), 19th IEEE Symposium on Logic in Computer Science, pp.211-220, 2004. ,
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
The mix rule, Mathematical Structures in Computer Science, vol.28, issue.02, pp.273-285, 1994. ,
DOI : 10.1016/0304-3975(93)90181-R
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
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
Coherent Banach spaces: a continuous denotational semantics, Electronic Notes in Theoretical Computer Science, 1996. ,
DOI : 10.1016/S0304-3975(99)00056-0
Proof-nets : the parallel syntax for proof-theory, Logic and Algebra. Marcel Dekker, 1996. ,
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
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
Full intuitionistic linear logic (extended abstract) Annals of Pure and Applied Logic, pp.273-291, 1993. ,
Modelling linear logic without units (preliminary results). Preprint, 2005. ,
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
Simple multiplicative proof nets with units. Preprint, available at http://arxiv.org/abs/math, CT/0507003, 2005. ,
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
Coherence in closed categories, Journal of Pure and Applied Algebra, vol.1, pp.97-140, 1971. ,
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
Catégories et Machines, 1988. ,
From proof nets to interaction nets, Advances in Linear Logic, pp.225-247, 1995. ,
DOI : 10.1017/CBO9780511629150.012
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
Deductive systems and categories, Mathematical Systems Theory, vol.49, issue.4, pp.287-318, 1968. ,
DOI : 10.1007/BF01703261
Deductive systems and categories II. Standard constructions and closed categories, Lecture Notes in Mathematics, vol.260, pp.76-122, 1969. ,
DOI : 10.1007/BFb0079385
On the algebra of structural contexts, Accepted at Mathematical Structures in Computer Science, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00099461
Exploring the gap between linear and classical logic, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00113785
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
Introduction to higher order categorical logic, volume 7 of Cambridge studies in advanced mathematics, 1986. ,
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
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
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
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
Categories for the Working Mathematician. Number 5 in Graduate Texts in Mathematics, 1971. ,
Homology of proof-nets, Archive for Mathematical Logic, vol.50, issue.3, pp.169-188, 1994. ,
DOI : 10.1007/BF01203031
Sequents and Link Graphs, 2001. ,
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
???-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
Natural deduction and coherence for non-symmetric linearly distributive categories, Theory and Applications of Categories, vol.6, pp.105-146, 1999. ,
Linear logic, *-autonomous categories and cofree coalgebras, Contemporary Mathematics, vol.92, 1989. ,
DOI : 10.1090/conm/092/1003210
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
On the axiomatisation of Boolean categories with and without medial, 2005. ,
Proof nets and the identity of proofs Lecture notes for ESSLLI'06, Szabo. Polycategories. Comm. Alg, vol.3, pp.663-689, 1975. ,
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=10.1.1.97.7633
Quantales and (noncommutative) linear logic, Journal of Symbolic Logic, vol.55, issue.1, pp.41-64, 1990. ,