@incollection(abramsky2012h,
 author       = {Samson Abramsky and Chris Heunen},
 year         = {2012},
 title        = {{$H^*$}-Algebras and Nonunital {F}robenius Algebras: First Steps in Infinite-Dimensional Categorical Quantum Mechanics},
 booktitle    = {Mathematical Foundations of Information Flow},
 series       = {Proc.\ of Symposia in Applied Math.},
 volume       = {71},
 publisher    = {Amer.\ Math.\ Soc.},
 pages        = {1--24},
 doi          = {10.1090/psapm/071/599},
)
@incollection(cockett1992strong,
 author       = {J. Robin B. Cockett and Dwight Spencer},
 year         = {1992},
 title        = {Strong Categorical Datatypes {I}},
 editor       = {Robert A.G. Seely},
 booktitle    = {Category Theory 1991},
 series       = {CMS Conference Proceedings},
 volume       = {13},
 publisher    = {Amer.\ Math.\ Soc.},
 pages        = {141--169},
)
@inproceedings(egger2009enriching,
 author       = {Jeff Egger and M{\o}gelberg, Rasmus Ejlers and Alex Simpson},
 year         = {2009},
 title        = {Enriching an Effect Calculus with Linear Types},
 editor       = {Erich Gr{\"a}del and Reinhard Kahle},
 booktitle    = {Computer Science Logic, 23rd International Workshop, CSL 2009},
 series       = {Lecture Notes in Computer Science},
 volume       = {5771},
 publisher    = {Springer},
 pages        = {240--254},
 doi          = {10.1007/978-3-642-04027-6\_19},
)
@inproceedings(fiore2008second,
 author       = {Marcelo Fiore},
 year         = {2008},
 title        = {Second-Order and Dependently-Sorted Abstract Syntax},
 booktitle    = {Proc.\ of 23rd Annual IEEE Symposium on Logic in Computer Science, LICS~'08},
 publisher    = {IEEE},
 pages        = {57--68},
 doi          = {10.1109/lics.2008.38},
)
@inproceedings(fiore1999abstract,
 author       = {Marcelo Fiore and Gordon Plotkin and Daniele Turi},
 year         = {1999},
 title        = {Abstract Syntax and Variable Binding},
 booktitle    = {Proc.\ of 14th Annual IEEE Symposium on Logic in Computer Science, LICS~'99},
 publisher    = {IEEE},
 pages        = {193--202},
 doi          = {10.1109/lics.1999.782615},
)
@inproceedings(fiore2017list,
 author       = {Marcelo Fiore and Philip Saville},
 year         = {2017},
 title        = {List Objects with Algebraic Structure},
 editor       = {Dale Miller},
 booktitle    = {2nd Int.\ Conference on Formal Structures for Computation and Deduction, FSCD 2017},
 series       = {Leibniz Int.\ Proc. in Informatics},
 volume       = {84},
 publisher    = {Dagstuhl Publishing},
 pages        = {16:1--16:18},
 doi          = {10.4230/lipics.fscd.2017.16},
)
@article(gordon1997enrichment,
 author       = {Robert Gordon and A. John Power},
 year         = {1997},
 title        = {Enrichment through Variation},
 journal      = {J.\ Pure Appl.\ Algebra},
 volume       = {120},
 number       = {2},
 pages        = {167--185},
 doi          = {10.1016/s0022-4049(97)00070-4},
)
@article(janelidze2001note,
 author       = {George Janelidze and G. Max Kelly},
 year         = {2001},
 title        = {A Note on Actions of a Monoidal Category},
 journal      = {Theor.\ Appl.\ Categ.},
 volume       = {9},
 number       = {4},
 pages        = {61--91},
 url          = {http://www.tac.mta.ca/tac/volumes/9/n4/9-04abs.html},
)
@inproceedings(kammar2017monad,
 author       = {Ohad Kammar and Paul B. Levy and Sean K. Moss and Sam Staton},
 year         = {2017},
 title        = {A Monad for Full Ground Reference Cells},
 booktitle    = {Proc.\ of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS~'17},
 publisher    = {IEEE},
 pages        = {1--12},
 doi          = {10.1109/lics.2017.8005109},
)
@article(kelly1980unified,
 author       = {G. Max Kelly},
 year         = {1980},
 title        = {A Unified Treatment of Transfinite Constructions for Free Algebras, Free Monoids, Colimits, Associated Sheaves, and So on},
 journal      = {Bull.\ Austral.\ Math.\ Soc.},
 volume       = {22},
 number       = {1},
 pages        = {1--83},
 doi          = {10.1017/s0004972700006353},
)
@book(kelly1982basic,
 author       = {G. Max Kelly},
 year         = {1982},
 title        = {Basic Concepts of Enriched Category Theory},
 series       = {London Math.\ Soc.\ Lecture Note Series},
 volume       = {64},
 publisher    = {Cambridge University Press},
 note         = {Reprinted (2005) as: \textsl{Reprints in Theory and Applications of Categories} 10, \url{http://www.tac.mta.ca/tac/reprints/articles/10/tr10abs.html}},
)
@article(kock1970monads,
 author       = {Anders Kock},
 year         = {1970},
 title        = {Monads on Symmetric Monoidal Closed Categories},
 journal      = {Arch.\ Math.},
 volume       = {21},
 number       = {1},
 pages        = {1--10},
 doi          = {10.1007/bf01220868},
)
@article(kock1971bilinearity,
 author       = {Anders Kock},
 year         = {1971},
 title        = {Bilinearity and {C}artesian Closed Monads},
 journal      = {Math.\ Scand.},
 volume       = {29},
 number       = {2},
 pages        = {161--174},
 doi          = {10.7146/math.scand.a-11042},
)
@article(Koc:clocgc,
 author       = {Anders Kock},
 year         = {1971},
 title        = {Closed Categories Generated by Commutative Monads},
 journal      = {Bull.\ Austral.\ Math.\ Soc.},
 volume       = {12},
 number       = {4},
 pages        = {405--424},
 doi          = {10.1017/s1446788700010272},
)
@article(kock1972strong,
 author       = {Anders Kock},
 year         = {1972},
 title        = {Strong Functors and Monoidal Monads},
 journal      = {Arch.\ Math.},
 volume       = {23},
 number       = {1},
 pages        = {113--120},
 doi          = {10.1007/bf01304852},
)
@article(kock2012commutative,
 author       = {Anders Kock},
 year         = {2012},
 title        = {Commutative Monads as a Theory of Distributions},
 journal      = {Theor.\ Appl.\ Categ.},
 volume       = {26},
 number       = {4},
 pages        = {97--131},
 url          = {http://www.tac.mta.ca/tac/volumes/26/4/26-04abs.html},
)
@article(Lam:func,
 author       = {Joachim Lambek},
 year         = {1974},
 title        = {Functional Completeness of {C}artesian Categories},
 journal      = {Ann.\ Math.\ Log.},
 volume       = {6},
 number       = {3--4},
 pages        = {259--292},
 doi          = {10.1016/0003-4843(74)90003-5},
)
@book(levy2001call,
 author       = {Paul B. Levy},
 year         = {2003},
 title        = {Call-by-Push-Value: A Functional/Imperative Synthesis},
 series       = {Semantic Structures in Computation},
 volume       = {2},
 publisher    = {Kluwer Academic Publishers},
 doi          = {10.1007/978-94-007-0954-6},
)
@misc(Lev:locgc,
 author       = {Paul B. Levy},
 year         = {2019},
 title        = {Locally Graded Categories},
 howpublished = {Slides from the talk at Univ.\ of Cambridge Category Theory Seminar, 12 Feb.\ 2019},
 url          = {http://www.cs.bham.ac.uk/~pbl/papers/locgrade.pdf},
)
@article(levy2019strong,
 author       = {Paul B. Levy},
 year         = {2019},
 title        = {Strong Functors on Many-Sorted Sets},
 journal      = {Comment.\ Math.\ Univ.\ Carolin.},
 volume       = {60},
 number       = {4},
 pages        = {533--540},
 doi          = {10.14712/1213-7243.2019.029},
)
@inproceedings(linton1969coequalizers,
 author       = {Fred E.J. Linton},
 year         = {1969},
 title        = {Coequalizers in Categories of Algebras},
 editor       = {Beno Eckmann},
 booktitle    = {Seminar on Triples and Categorical Homology Theory},
 series       = {Lecture Notes in Mathematics},
 volume       = {80},
 publisher    = {Springer},
 pages        = {75--90},
 doi          = {10.1007/bfb0083082},
)
@misc(mellies2012parametric,
 author       = {Paul-Andr{\'e} Melli{\`e}s},
 year         = {2012},
 title        = {Parametric Monads and Enriched Adjunctions},
 howpublished = {Manuscript},
 url          = {https://www.irif.fr/~mellies/tensorial-logic/8-parametric-monads-and-enriched-adjunctions.pdf},
)
@inproceedings(moggi1989computational,
 author       = {Eugenio Moggi},
 year         = {1989},
 title        = {Computational lambda-Calculus and Monads},
 booktitle    = {Proc.\ of 4th Annual IEEE Symposium on Logic in Computer Science, LICS~'89},
 publisher    = {IEEE},
 pages        = {14--23},
 doi          = {10.1109/lics.1989.39155},
)
@incollection(mulry2013notions,
 author       = {Philip Mulry},
 year         = {2013},
 title        = {Notions of Monad Strength},
 editor       = {Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff},
 booktitle    = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {129},
 publisher    = {Open Publishing Association},
 pages        = {67--83},
 doi          = {10.4204/eptcs.129.6},
)
@article(Pav:catlna,
 author       = {Du{\v{s}}ko Pavlovi{\'c}},
 year         = {1997},
 title        = {Categorical Logic of Names and Abstraction in Action Calculi},
 journal      = {Math.\ Struct.\ Comput.\ Sci.},
 volume       = {7},
 number       = {6},
 pages        = {619--637},
 doi          = {10.1017/s0960129597002296},
)
@inproceedings(pirog2016eilenberg,
 author       = {Maciej Pir\'og},
 year         = {2016},
 title        = {{E}ilenberg--{M}oore Monoids and Backtracking Monad Transformers},
 editor       = {Robert Atkey and Neelakantan Krishnaswami},
 booktitle    = {Proc.\ of 6th Workshop on Mathematically Structured Functional Programming, MSFP '16},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {207},
 publisher    = {Open Publishing Association},
 pages        = {23--56},
 doi          = {10.4204/eptcs.207.2},
)
@inproceedings(power1999closed,
 author       = {John Power and Hayo Thielecke},
 year         = {1999},
 title        = {Closed {F}reyd- and $\kappa$-Categories},
 editor       = {Ji{\v{r}}{\'i} Wiedermann and Peter van Emde Boas and Mogens Nielsen},
 booktitle    = {Automata, Languages and Programming, 26th International Colloquium, ICALP~'99},
 series       = {Lecture Notes in Computer Science},
 volume       = {1644},
 publisher    = {Springer},
 pages        = {625--634},
 doi          = {10.1007/3-540-48523-6\_59},
)
@article(sato2018giry,
 author       = {Tetsuya Sato},
 year         = {2018},
 title        = {The {G}iry Monad Is Not Strong for the Canonical Symmetric Monoidal Closed Structure on $\mathbf{Meas}$},
 journal      = {J.\ Pure Appl.\ Algebra},
 volume       = {222},
 number       = {10},
 pages        = {2888--2896},
 doi          = {10.1016/j.jpaa.2017.11.004},
)
@misc(ncatlab:strm,
 author       = {Urs Schreiber and Paolo Perrone},
 year         = {2021},
 title        = {Strong monad (version 46)},
 howpublished = {ncatlab page},
 url          = {https://ncatlab.org/nlab/show/strong+monad},
 note         = {Version 1 from 22 July 2009 was written by U.S.; enrichment and copowering perspectives added by P.P. in version 26 from 27 Jan.\ 2020},
)
@article(szlachanyi2017tensor,
 author       = {Korn{\'e}l Szlach{\'a}nyi},
 year         = {2017},
 title        = {On the Tensor Product of Modules over Skew Monoidal Actegories},
 journal      = {J.\ Pure Appl.\ Algebra},
 volume       = {221},
 number       = {1},
 pages        = {185--221},
 doi          = {10.1016/j.jpaa.2016.06.003},
)
@phdthesis(wood1976indical,
 author       = {Richard J. Wood},
 year         = {1976},
 title        = {Indicial Methods for Relative Categories},
 school       = {Dalhousie University},
 url          = {http://hdl.handle.net/10222/55465},
)