V.M. Abrusci (1991):
Phase semantics and sequent calculus for pure non-commutative linear propositional logic.
Journal of Symbolic Logic 56(4),
pp. 1403–1452,
doi:10.2307/2275485.
V.M. Abrusci & P. Ruet (1999):
Non-commutative logic I.
Annals of Pure and Applied Logic 101(1),
pp. 29–64,
doi:10.1016/S0168-0072(99)00014-7.
A. Barber & G.D. Plotkin (1997):
Dual intuitionistic linear logic.
Unpublished draft. An early version appeared as a technical report ECS-LFCS-96-347, LFCS, University of Edinburgh..
M. Barr (1995):
Nonsymmetric *-autonomous categories.
Theoretical Computer Science 139(1-2),
pp. 115–130,
doi:10.1016/0304-3975(94)00089-2.
N. Benton (1995):
A mixed linear non-linear logic: proofs, terms and models.
In: Computer Science Logic (CSL'94), Selected Papers,
Lecture Notes in Computer Science 933.
Springer-Verlag,
pp. 121–135,
doi:10.1007/BFb0022251.
N. Benton, G.M. Bierman, V. de Paiva & M. Hyland (1993):
Linear lambda-calculus and categorical models revisited.
In: Computer Science Logic (CSL'92), Selected Papers,
Lecture Notes in Computer Science 702.
Springer-Verlag,
pp. 61–84,
doi:10.1007/3-540-56992-8.
G.M. Bierman (1995):
What is a categorical model of intuitionistic linear logic?.
In: Proceedings of the 2nd International Conference on Typed Lambda Calculus and Applications,
Lecture Notes in Computer Science 902.
Springer-Verlag,
pp. 78–93,
doi:10.1007/BFb0014046.
M. Boyarchenko & V. Drinfeld (2013):
A duality formalism in the spirit of Grothendieck and Verdier.
Quantum Topology 4(4),
pp. 447–489,
doi:10.4171/QT/45.
C. Brown & D. Gurr (1995):
Relations and non-commutative linear logic.
Journal of Pure and Applied Algebra 105(2),
pp. 117–136,
doi:10.1016/0022-4049(94)00147-2.
B.J. Day (1970):
On closed categories of functors.
In: Midwest Category Seminar Reports IV,
Lecture Notes in Mathematics 137.
Springer-Verlag,
pp. 1–38,
doi:10.1007/BFb0060438.
S. Eilenberg & G.M. Kelly (1966):
Closed categories..
In: Proceedings of the Conference on Categorical Algebra (La Jolla 1965).
Springer-Verlag,
pp. 421–562,
doi:10.1007/978-3-642-99902-4.
J.-Y. Girard (1987):
Linear logic.
Theoretical Computer Science 50,
pp. 1–102,
doi:10.1016/0304-3975(87)90045-4.
M. Hasegawa (1999):
Logical predicates for intuitionistic linear type theories.
In: Proceedings of the 4th International Conference on Typed Lambda Calculus and Applications,
Lecture Notes in Computer Science 1581.
Springer-Verlag,
pp. 198–213,
doi:10.1007/3-540-48959-2.
M. Hasegawa (2005):
Classical linear logic of implications.
Mathematical Structures in Computer Science 15(2),
pp. 323–342,
doi:10.1017/S0960129504004621.
M. Hasegawa (2012):
A quantum double construction in Rel.
Mathematical Structures in Computer Science 22(4),
pp. 618–650,
doi:10.1017/S0960129511000703.
J.M.E. Hyland & A. Schalk (2003):
Glueing and orthogonality for models of linear logic.
Theoretical Computer Science 294(1-2),
pp. 183–231,
doi:10.1016/S0304-3975(01)00241-9.
A. Joyal & R. Street (1993):
Braided tensor categories.
Advances in Mathematics 88,
pp. 20–78,
doi:10.1006/aima.1993.1055.
G.M. Kelly (1974):
Doctrinal adjunction.
In: Proceedings Sydney Category Theory Seminar 1972/1973,
Lecture Notes in Mathematics 420.
Springer-Verlag,
pp. 257–280,
doi:10.1007/BFb0063105.
Y. Lafont (1988):
The linear abstract machine.
Theoretical Computer Science 59(1-2),
pp. 157–180,
doi:10.1016/0304-3975(88)90100-4.
M.E. Maietti, P. Mannegia, V. de Paiva & E. Ritter (2005):
Relating categorical models for intuitionistic linear logic.
Applied Categorical Structures 13(1),
pp. 1–36,
doi:10.1007/s10485-004-3134-z.
P. Maneggia (2004):
Models of Linear Polymorphism.
University of Birmingham.
P.-A. Melliès (2009):
Categorical semantics of linear logic,
pp. 1–196,
Panoramas et Synthèses 27.
Société Mathématique de France.
V. de Paiva (2014):
Categorical semantics of linear logic for all,
pp. 181–192,
Trends in Logic - Studia Logica Library 39.
Springer-Verlag,
doi:10.1007/978-94-007-7548-0.
R.A.G. Seely (1989):
Linear logic, *-autonomous categories and cofree coalgebras.
In: Categories in Computer Science and Logic,
Contemporary Mathematics 92.
American Mathematical Society,
pp. 371–389,
doi:10.1090/conm/092.
M.-C. Shum (1994):
Tortile tensor categories.
Journal of Pure and Applied Algebra 93(1),
pp. 57–110,
doi:10.1016/0022-4049(92)00039-T.
V.G. Turaev (1994):
Quantum Invariants of Knots and 3-Manifolds.
de Gruyter.