JiříAdámek & JiříRosický (1994):
Locally presentable and accessible categories.
London Mathematical Society Lecture Note Series 189.
Cambridge University Press,
Cambridge,
doi:10.1017/CBO9780511600579.
R. Blute, R. Cockett, R. Seely & T. Trimble (1996):
Natural deduction and coherence for weakly distributive categories.
J. Pure and Appl. Algebra 113,
pp. 229–296,
doi:10.1016/0022-4049(95)00159-X.
Richard Blute (1991):
Proof nets and coherence theorems.
In: Category Theory and Computer Science.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 121–137,
doi:10.1007/BFb0013461.
Richard Blute (1993):
Linear logic, coherence and dinaturality.
Theoretical Computer Science 115(1),
pp. 3–41,
doi:10.1016/0304-3975(93)90053-V.
John Baez & Mike Stay (2011):
Physics, Topology, Logic and Computation: A Rosetta Stone.
In: New Structures for Physics,
Lecture Notes in Physics 813.
Springer,
pp. 95–174,
doi:10.1038/299802a0.
J.R.B. Cockett, M. Hasegawa & R.A.G. Seely (2006):
Coherence of the Double Involution on -Autonomous Categories.
Theory and Applications of Categories 17(2),
pp. 17–29.
J.R.B. Cockett, J. Koslowski & R.A.G. Seely (2003):
Morphisms and modules for poly-bicategories.
Theory Appl. Categ. 11(2),
pp. 15–74.
J.R.B. Cockett & R.A.G. Seely (1997):
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.
Theory and Applications of Categories 3(5),
pp. 85–131.
Robin Cockett & Robert Seely (1997):
Weakly distributive categories.
Journal of Pure and Applied Algebra 114(2),
pp. 133–173,
doi:10.1016/0022-4049(95)00160-3.
Corrected version available at https://www.math.mcgill.ca/rags/linear/wdc-fix.pdf.
Brian Day (1970):
On closed categories of functors.
In: Reports of the Midwest Category Seminar, IV,
Lecture Notes in Mathematics, Vol. 137.
Springer,
Berlin,
pp. 1–38,
doi:10.1007/BFb0079385.
Brian Day (1972):
A reflection theorem for closed categories.
J. Pure Appl. Algebra 2(1),
pp. 1–11,
doi:10.1016/0022-4049(72)90021-7.
Gabriel C. Drummond-Cole & Philip Hackney (2021):
DwyerKan homotopy theory for cyclic operads.
Proceedings of the Edinburgh Mathematical Society 64(1),
pp. 2958,
doi:10.1017/S0013091520000267.
ArXiv:1809.06322.
P. J. Freyd & G. M. Kelly (1972):
Categories of continuous functors. I.
J. Pure Appl. Algebra 2,
pp. 169–191,
doi:10.1016/0022-4049(72)90001-1.
M. Hasegawa (1999):
Categorical glueing and logical predicates for models of linear logic.
Preprint RIMS-1223.
Kyoto University.
http://www.kurims.kyoto-u.ac.jp/~hassei/papers/full.pdf.
Martin Hyland & Andrea Schalk (2003):
Glueing and orthogonality for models of linear logic.
Theoretical Computer Science 294(1),
pp. 183 – 231,
doi:10.1016/S0304-3975(01)00241-9.
Category Theory and Computer Science.
Dominic J.D. Hughes (2012):
Simple free star-autonomous categories and full coherence.
Journal of Pure and Applied Algebra 216(11),
pp. 2386 – 2410,
doi:10.1016/j.jpaa.2012.03.020.
Arxiv:math/0506521.
J.M.E. Hyland (2002):
Proof theory in the abstract.
Annals of Pure and Applied Logic 114,
pp. 43–78,
doi:10.1016/S0168-0072(01)00075-6.
John R. Isbell (1966):
Structure of categories.
Bull. Amer. Math. Soc. 72,
pp. 619–655,
doi:10.1090/S0002-9904-1966-11541-0.
Theo Johnson-Freyd & Claudia Scheimbauer (2017):
(Op)lax natural transformations, twisted quantum field theories, and ``even higher'' Morita categories.
Adv. Math. 307,
pp. 147–223,
doi:10.1016/j.aim.2016.11.014.
André Joyal, Ross Street & Dominic Verity (1996):
Traced monoidal categories.
Math. Proc. Cambridge Philos. Soc. 119(3),
pp. 447–468,
doi:10.1016/0022-4049(92)90018-B.
G. M. Kelly (1982):
Basic concepts of enriched category theory.
London Mathematical Society Lecture Note Series 64.
Cambridge University Press.
Also available online in Reprints in Theory and Applications of Categories, No. 10 (2005) pp. 1-136.
G. M. Kelly & Stephen Lack (1997):
On property-like structures.
Theory Appl. Categ. 3(9),
pp. 213–250.
G.M. Kelly & S. Maclane (1971):
Coherence in closed categories.
Journal of Pure and Applied Algebra 1(1),
pp. 97 – 140,
doi:10.1016/0022-4049(71)90013-2.
Yves Lafont (1988):
Logiques, catégories & machines: implantation de langages de programmation guidée par la logique catégorique.
Paris 7.
Duško Pavlovi\'c (1997):
Chu I: cofree equivalences, dualities, and -autonomous categories.
Math. Struct. in Comp. Science 7(1),
doi:10.1017/S0960129596002046.
Uday S. Reddy (1993):
A typed foundation for directional logic programming.
In: E. Lamma & P. Mello: Extensions of Logic Programming.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 282–318,
doi:10.1007/3-540-56454-3_15.
Harold Schellinx (1991):
Some Syntactical Observations on Linear Logic.
Journal of Logic and Computation 1(4),
pp. 537–559,
doi:10.1093/logcom/1.4.537.
Michael Shulman (2020):
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions.
Theory Appl. Categ. 35(4),
pp. 89–136.
Arxiv:1806.06082.
M.E. Szabo (1975):
Polycategories.
Communications in Algebra 3(8),
pp. 663–689,
doi:10.1080/00927877508822067.
Audrey Tan (1998):
Full completeness for models of Linear Logic.
Cambridge University.
Todd Trimble (1994):
Linear Logic, Bimodules, and Full Coherence for Autonomous Categories.
Rutgers University.
A.S. Troelstra (1992):
Lectures on Linear Logic.
Center for the Study of Language and Information Publication Lecture Notes.
Cambridge University Press.
Available at https://books.google.com/books?id=DSVcPwAACAAJ.
eptcs@eptcs.org