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