Hopf algebras and linear logic

[1]  G. M. Kelly,et al.  Coherence in closed categories , 1971 .

[2]  G. M. Kelly,et al.  Coherence for compact closed categories , 1980 .

[3]  Ross Street,et al.  AN INTRODUCTION TO TANNAKA DUALITY AND QUANTUM GROUPS , 1991 .

[4]  Gian-Carlo Rota,et al.  Coalgebras and Bialgebras in Combinatorics , 1979 .

[5]  V. Michele Abrusci Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic , 1991, J. Symb. Log..

[6]  Ross Street,et al.  Braided Tensor Categories , 1993 .

[7]  G. M. Kelly,et al.  Coherence in categories , 1972 .

[8]  Richard Blute,et al.  Linear Logic, Coherence, and Dinaturality , 1993, Theor. Comput. Sci..

[9]  G. M. Kelly An abstract approach to coherence , 1972 .

[10]  William R. Schmitt,et al.  Antipodes and incidence coalgebras , 1987, J. Comb. Theory, Ser. A.

[11]  D. K. Harrison,et al.  Proceedings of the Conference on Categorical Algebra , 1966 .

[12]  Martín Abadi,et al.  Linear logic without boxes , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[13]  S. Majid Quasitriangular Hopf Algebras and Yang-Baxter Equations , 1990 .

[14]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[15]  Shahn Majid,et al.  Physics for algebraists: Non-commutative and non-cocommutative Hopf algebras by a bicrossproduct construction , 1990 .

[16]  N. Reshetikhin,et al.  Quantum Groups , 1993, hep-th/9311069.

[17]  Radha Jagadeesan,et al.  Games and full completeness for multiplicative linear logic , 1992, Journal of Symbolic Logic.

[18]  Christian Retoré,et al.  The mix rule , 1994, Mathematical Structures in Computer Science.

[19]  J. Lambek Deductive systems and categories II. Standard constructions and closed categories , 1969 .

[20]  M. Makkai Stone duality for first order logic , 1987 .

[21]  Michael Barr,et al.  Nonsymmetric *-Autonomous Categories , 1995, Theor. Comput. Sci..

[22]  David N. Yetter,et al.  Quantales and (noncommutative) linear logic , 1990, Journal of Symbolic Logic.