@book(ar:loc-pres,
 author       = {Ji{\v{r}}{\'{\i}} Ad{\'a}mek and Ji{\v{r}}{\'{\i}} Rosick{\'y}},
 year         = {1994},
 title        = {Locally presentable and accessible categories},
 series       = {London Mathematical Society Lecture Note Series},
 volume       = {189},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/CBO9780511600579},
)
@article(bcst:natded-coh-wkdistrib,
 author       = {R. Blute and R. Cockett and R. Seely and T. Trimble},
 year         = {1996},
 title        = {Natural deduction and coherence for weakly distributive categories},
 journal      = {J. Pure and Appl. Algebra},
 volume       = {113},
 pages        = {229--296},
 doi          = {10.1016/0022-4049(95)00159-X},
)
@inproceedings(blute:proof-nets,
 author       = {Richard Blute},
 year         = {1991},
 title        = {Proof nets and coherence theorems},
 booktitle    = {Category Theory and Computer Science},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {121--137},
 doi          = {10.1007/BFb0013461},
)
@article(blute:ll-coh,
 author       = {Richard Blute},
 year         = {1993},
 title        = {Linear logic, coherence and dinaturality},
 journal      = {Theoretical Computer Science},
 volume       = {115},
 number       = {1},
 pages        = {3--41},
 doi          = {10.1016/0304-3975(93)90053-V},
)
@incollection(bs:rosetta,
 author       = {John Baez and Mike Stay},
 year         = {2011},
 title        = {Physics, Topology, Logic and Computation: A {Rosetta} Stone},
 booktitle    = {New Structures for Physics},
 series       = {Lecture Notes in Physics},
 volume       = {813},
 publisher    = {Springer},
 pages        = {95--174},
 doi          = {10.1038/299802a0},
)
@article(chs:coh-staut,
 author       = {J.R.B. Cockett and M. Hasegawa and R.A.G. Seely},
 year         = {2006},
 title        = {Coherence of the Double Involution on $\ast$-Autonomous Categories},
 journal      = {Theory and Applications of Categories},
 volume       = {17},
 number       = {2},
 pages        = {17--29},
)
@mastersthesis(chu:construction,
 author       = {Po-Hsiang Chu},
 year         = {1978},
 title        = {Constructing $*$-autonomous categories},
 type         = {{M.~Sc.}\ thesis},
 school       = {McGill University},
)
@incollection(chu:constr-app,
 author       = {Po-Hsaing Chu},
 year         = {1979},
 title        = {Constructing $\ast$-autonomous categories},
 booktitle    = {$\ast$-autonomous categories},
 chapter      = {Appendix},
 series       = {Lecture Notes in Mathematics},
 volume       = {752},
 publisher    = {Springer-Verlag},
)
@article(cks:polybicats,
 author       = {J.R.B. Cockett and J. Koslowski and R.A.G. Seely},
 year         = {2003},
 title        = {Morphisms and modules for poly-bicategories},
 journal      = {Theory Appl. Categ.},
 volume       = {11},
 number       = {2},
 pages        = {15--74},
)
@article(cs:pfth-bill,
 author       = {J.R.B. Cockett and R.A.G. Seely},
 year         = {1997},
 title        = {Proof theory for full intuitionistic linear logic, bilinear logic, and {MIX} categories},
 journal      = {Theory and Applications of Categories},
 volume       = {3},
 number       = {5},
 pages        = {85--131},
)
@article(cs:wkdistrib,
 author       = {Robin Cockett and Robert Seely},
 year         = {1997},
 title        = {Weakly distributive categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {114},
 number       = {2},
 pages        = {133--173},
 doi          = {10.1016/0022-4049(95)00160-3},
 note         = {Corrected version available at \url{https://www.math.mcgill.ca/rags/linear/wdc-fix.pdf}},
)
@incollection(day:closed,
 author       = {Brian Day},
 year         = {1970},
 title        = {On closed categories of functors},
 booktitle    = {Reports of the Midwest Category Seminar, IV},
 series       = {Lecture Notes in Mathematics, Vol. 137},
 publisher    = {Springer},
 address      = {Berlin},
 pages        = {1--38},
 doi          = {10.1007/BFb0079385},
)
@article(day:refl-closed,
 author       = {Brian Day},
 year         = {1972},
 title        = {A reflection theorem for closed categories},
 journal      = {J. Pure Appl. Algebra},
 volume       = {2},
 number       = {1},
 pages        = {1--11},
 doi          = {10.1016/0022-4049(72)90021-7},
)
@article(dh:dk-cyc-opd,
 author       = {Drummond-Cole, Gabriel C. and Philip Hackney},
 year         = {2021},
 title        = {{Dwyer\IeC{\textendash}Kan} homotopy theory for cyclic operads},
 journal      = {Proceedings of the Edinburgh Mathematical Society},
 volume       = {64},
 number       = {1},
 pages        = {29\IeC{\textendash}58},
 doi          = {10.1017/S0013091520000267},
 note         = {ArXiv:1809.06322},
)
@book(dp:proofnetcats,
 author       = {K. Dosen and Z. Petri{\'c}},
 year         = {2007},
 title        = {Proof-net Categories},
 series       = {Open access publications},
 publisher    = {Polimetrica},
 url          = {https://books.google.com/books?id=LRg9gHxETx8C},
)
@article(fk:cts-frs,
 author       = {P. J. Freyd and G. M. Kelly},
 year         = {1972},
 title        = {Categories of continuous functors. {I}},
 journal      = {J. Pure Appl. Algebra},
 volume       = {2},
 pages        = {169--191},
 doi          = {10.1016/0022-4049(72)90001-1},
)
@techreport(hasegawa:glueing-cll,
 author       = {M. Hasegawa},
 year         = {1999},
 title        = {Categorical glueing and logical predicates for models of linear logic},
 type         = {Preprint {RIMS}-1223},
 institution  = {Kyoto University},
 note         = {\url{http://www.kurims.kyoto-u.ac.jp/~hassei/papers/full.pdf}},
)
@article(hs:glue-orth-ll,
 author       = {Martin Hyland and Andrea Schalk},
 year         = {2003},
 title        = {Glueing and orthogonality for models of linear logic},
 journal      = {Theoretical Computer Science},
 volume       = {294},
 number       = {1},
 pages        = {183 -- 231},
 doi          = {10.1016/S0304-3975(01)00241-9},
 note         = {Category Theory and Computer Science},
)
@article(hughes:free-staraut,
 author       = {Dominic J.D. Hughes},
 year         = {2012},
 title        = {Simple free star-autonomous categories and full coherence},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {216},
 number       = {11},
 pages        = {2386 -- 2410},
 doi          = {10.1016/j.jpaa.2012.03.020},
 note         = {Arxiv:math/0506521},
)
@article(hyland:pfthy-abs,
 author       = {J.M.E. Hyland},
 year         = {2002},
 title        = {Proof theory in the abstract},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {114},
 pages        = {43--78},
 doi          = {10.1016/S0168-0072(01)00075-6},
)
@article(isbell:soc,
 author       = {John R. Isbell},
 year         = {1966},
 title        = {Structure of categories},
 journal      = {Bull. Amer. Math. Soc.},
 volume       = {72},
 pages        = {619--655},
 doi          = {10.1090/S0002-9904-1966-11541-0},
)
@article(jfs:twqft,
 author       = {Johnson-Freyd, Theo and Claudia Scheimbauer},
 year         = {2017},
 title        = {({O}p)lax natural transformations, twisted quantum field theories, and ``even higher'' {M}orita categories},
 journal      = {Adv. Math.},
 volume       = {307},
 pages        = {147--223},
 doi          = {10.1016/j.aim.2016.11.014},
)
@article(jsv:traced-moncat,
 author       = {Andr{\'e} Joyal and Ross Street and Dominic Verity},
 year         = {1996},
 title        = {Traced monoidal categories},
 journal      = {Math. Proc. Cambridge Philos. Soc.},
 volume       = {119},
 number       = {3},
 pages        = {447--468},
 doi          = {10.1016/0022-4049(92)90018-B},
)
@book(kelly:enriched,
 author       = {G. M. Kelly},
 year         = {1982},
 title        = {Basic concepts of enriched category theory},
 series       = {London Mathematical Society Lecture Note Series},
 volume       = {64},
 publisher    = {Cambridge University Press},
 note         = {Also available online in Reprints in Theory and Applications of Categories, No. 10 (2005) pp. 1-136},
)
@article(kl:property-like,
 author       = {G. M. Kelly and Stephen Lack},
 year         = {1997},
 title        = {On property-like structures},
 journal      = {Theory Appl. Categ.},
 volume       = {3},
 number       = {9},
 pages        = {213--250},
)
@article(km:coh-closed,
 author       = {G.M. Kelly and S. Maclane},
 year         = {1971},
 title        = {Coherence in closed categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {1},
 number       = {1},
 pages        = {97 -- 140},
 doi          = {10.1016/0022-4049(71)90013-2},
)
@phdthesis(lafont:thesis,
 author       = {Yves Lafont},
 year         = {1988},
 title        = {Logiques, cat{\'e}gories \& machines: implantation de langages de programmation guid{\'e}e par la logique cat{\'e}gorique},
 school       = {Paris 7},
)
@article(pavlovic:chu-i,
 author       = {Du{\v{s}}ko Pavlovi{\'c}},
 year         = {1997},
 title        = {Chu {I}: cofree equivalences, dualities, and $\ast$-autonomous categories},
 journal      = {Math. Struct. in Comp. Science},
 volume       = {7},
 number       = {1},
 doi          = {10.1017/S0960129596002046},
)
@unpublished(reddy:acceptors,
 author       = {Uday S. Reddy},
 year         = {1991},
 title        = {Acceptors as values},
 url          = {http://www.cs.bham.ac.uk/~udr/},
)
@inproceedings(reddy:dirprolog,
 author       = {Uday S. Reddy},
 year         = {1993},
 title        = {A typed foundation for directional logic programming},
 editor       = {E. Lamma and P. Mello},
 booktitle    = {Extensions of Logic Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {282--318},
 doi          = {10.1007/3-540-56454-3_15},
)
@article(schellinx:syntac-ll,
 author       = {Harold Schellinx},
 year         = {1991},
 title        = {Some Syntactical Observations on Linear Logic},
 journal      = {Journal of Logic and Computation},
 volume       = {1},
 number       = {4},
 pages        = {537--559},
 doi          = {10.1093/logcom/1.4.537},
)
@article(shulman:dialectica,
 author       = {Michael Shulman},
 year         = {2020},
 title        = {The 2-{Chu}-{Dialectica} construction and the polycategory of multivariable adjunctions},
 journal      = {Theory Appl. Categ.},
 volume       = {35},
 number       = {4},
 pages        = {89--136},
 note         = {Arxiv:1806.06082},
)
@article(szabo:polycats,
 author       = {M.E. Szabo},
 year         = {1975},
 title        = {Polycategories},
 journal      = {Communications in Algebra},
 volume       = {3},
 number       = {8},
 pages        = {663--689},
 doi          = {10.1080/00927877508822067},
)
@phdthesis(tan:thesis,
 author       = {Audrey Tan},
 year         = {1998},
 title        = {Full completeness for models of Linear Logic},
 school       = {Cambridge University},
)
@phdthesis(trimble:thesis,
 author       = {Todd Trimble},
 year         = {1994},
 title        = {Linear Logic, Bimodules, and Full Coherence for Autonomous Categories},
 school       = {Rutgers University},
)
@book(troelstra:lec-ll,
 author       = {A.S. Troelstra},
 year         = {1992},
 title        = {Lectures on Linear Logic},
 series       = {Center for the Study of Language and Information Publication Lecture Notes},
 publisher    = {Cambridge University Press},
 url          = {https://books.google.com/books?id=DSVcPwAACAAJ},
)