@article(abramskyjung:domaintheory,
 author       = {S.~Abramsky and A.~Jung},
 year         = {1994},
 title        = {Domain Theory},
 journal      = {Handbook of Logic in Computer Science (Vol. 3)},
 pages        = {1--168},
 url          = {http://dl.acm.org/citation.cfm?id=218742.218744},
)
@article(adamek-original,
 author       = {Ji{\v{r}}{\'\i} Ad{\'a}mek},
 year         = {1974},
 title        = {Free algebras and automata realizations in the language of categories},
 journal      = {Commentationes Mathematicae Universitatis Carolinae},
 volume       = {15},
 number       = {4},
 pages        = {589--602},
)
@article(barr,
 author       = {M.~Barr},
 year         = {1992},
 title        = {Algebraically compact functors},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {82},
 number       = {3},
 pages        = {211 -- 231},
 doi          = {10.1016/0022-4049(92)90169-G},
)
@book(borceux:handbook2,
 author       = {F.~Borceux},
 year         = {1994},
 title        = {Handbook of Categorical Algebra 2: Categories and Structures},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511525865},
)
@phdthesis(fiore-thesis,
 author       = {M.~P. Fiore},
 year         = {1994},
 title        = {Axiomatic domain theory in categories of partial maps},
 school       = {University of Edinburgh, {UK}},
)
@inproceedings(fiore-plotkin,
 author       = {Marcelo Fiore and Gordon Plotkin},
 year         = {1994},
 title        = {An Axiomatization of Computationally Adequate Domain Theoretic Models of {FPC}},
 booktitle    = {{LICS}},
 doi          = {10.1109/LICS.1994.316083},
)
@inproceedings(freyd2,
 author       = {P.~{Freyd}},
 year         = {1990},
 title        = {Recursive types reduced to inductive types},
 booktitle    = {LICS 1990},
 pages        = {498--507},
 doi          = {10.1109/LICS.1990.113772},
)
@inproceedings(freyd,
 author       = {P.~Freyd},
 year         = {1991},
 title        = {Algebraically complete categories},
 booktitle    = {Category Theory: Proceedings of the International Conference held in Como, Italy},
 doi          = {10.1007/BFb0084215},
)
@article(lehman-smyth,
 author       = {Daniel~J Lehmann and Michael~B Smyth},
 year         = {1981},
 title        = {Algebraic specification of data types: A synthetic approach},
 journal      = {Mathematical Systems Theory},
 doi          = {10.1007/BF01752392},
)
@inproceedings(eclnl,
 author       = {Bert Lindenhovius and Michael Mislove and Vladimir Zamdzhiev},
 year         = {2018},
 title        = {Enriching a Linear/Non-linear Lambda Calculus: {A} Programming Language for String Diagrams},
 booktitle    = {{LICS} 2018},
 publisher    = {{ACM}},
 doi          = {10.1145/3209108.3209196},
)
@misc(eclnl2,
 author       = {Bert Lindenhovius and Michael Mislove and Vladimir Zamdzhiev},
 year         = {2020},
 title        = {Semantics for a Lambda Calculus for String Diagrams},
 url          = {https://homepages.loria.fr/VZamdzhiev/papers/lambda-calculus-string-diagrams.pdf},
 note         = {Preprint},
)
@article(lnl-fpc,
 author       = {Bert Lindenhovius and Michael~W. Mislove and Vladimir Zamdzhiev},
 year         = {2019},
 title        = {Mixed linear and non-linear recursive types},
 journal      = {Proc. {ACM} Program. Lang.},
 volume       = {3},
 number       = {{ICFP}},
 pages        = {111:1--111:29},
 doi          = {10.1145/3341715},
)
@misc(lnl-fpc-lmcs,
 author       = {Bert Lindenhovius and Michael~W. Mislove and Vladimir Zamdzhiev},
 year         = {2020},
 title        = {LNL-FPC: The Linear/Non-linear Fixpoint Calculus},
 url          = {http://arxiv.org/abs/1906.09503},
 note         = {Preprint},
)
@misc(qpl-tcs,
 author       = {Romain P{\'{e}}choux and Simon Perdrix and Mathys Rennela and Vladimir Zamdzhiev},
 year         = {2020},
 title        = {Quantum Programming with Inductive Datatypes},
 url          = {https://homepages.loria.fr/VZamdzhiev/papers/qpl-inductive.pdf},
 note         = {Preprint},
)
@inproceedings(qpl-fossacs,
 author       = {Romain P{\'{e}}choux and Simon Perdrix and Mathys Rennela and Vladimir Zamdzhiev},
 year         = {2020},
 title        = {Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory},
 editor       = {Goubault{-}Larrecq, Jean and Barbara K{\"{o}}nig},
 booktitle    = {Foundations of Software Science and Computation Structures - 23rd International Conference, {FOSSACS} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12077},
 publisher    = {Springer},
 pages        = {562--581},
 doi          = {10.1007/978-3-030-45231-5\_29},
)
@inproceedings(pqm-small,
 author       = {Francisco Rios and Peter Selinger},
 year         = {2017},
 title        = {A categorical model for a quantum circuit description language},
 booktitle    = {{QPL} 2017},
 pages        = {164--178},
 doi          = {10.4204/EPTCS.266.11},
)
@article(smyth-plotkin,
 author       = {M.B. Smyth and G.D. Plotkin},
 year         = {1982},
 title        = {The Category-theoretic Solution of Recursive Domain Equations},
 journal      = {Siam J. Comput.},
 doi          = {10.1137/0211062},
)
@inproceedings(cmcs,
 author       = {Vladimir Zamdzhiev},
 year         = {2020},
 title        = {Semantics for first-order affine inductive data types via slice categories},
 booktitle    = {Coalgebraic Methods in Computer Science, to appear},
 url          = {https://arxiv.org/abs/2001.06905},
)