@inproceedings(benton-wadler,
 author       = {P.~N. Benton and Philip Wadler},
 year         = {1996},
 title        = {Linear Logic, Monads and the Lambda Calculus},
 booktitle    = {Logic in Computer Science},
 doi          = {10.1109/LICS.1996.561458},
)
@inproceedings(benton-small,
 author       = {P.N. Benton},
 year         = {1995},
 title        = {A mixed linear and non-linear logic: Proofs, terms and models},
 booktitle    = {Computer Science Logic: 8th Workshop, CSL '94},
 doi          = {10.1007/BFb0022251},
)
@misc(kenta-bram,
 author       = {Kenta Cho and Abraham Westerbaan},
 year         = {2016},
 title        = {{Von Neumann Algebras form a Model for the Quantum Lambda Calculus}},
 url          = {http://arxiv.org/abs/1603.02133},
 note         = {Manuscript.},
)
@article(eec,
 author       = {Jeff Egger and M{\o}gelberg, Rasmus~Ejlers and Alex Simpson},
 year         = {2014},
 title        = {The enriched effect calculus: syntax and semantics},
 journal      = {J. Log. Comput.},
 volume       = {24},
 number       = {3},
 pages        = {615--654},
 doi          = {10.1093/logcom/exs025},
)
@article(linear-logic,
 author       = {Jean{-}Yves Girard},
 year         = {1987},
 title        = {Linear Logic},
 journal      = {Theor. Comput. Sci.},
 volume       = {50},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@misc(klm,
 author       = {Andre Kornell and Bert Lindenhovius and Michael Mislove},
 year         = {2020},
 title        = {{Quantum CPOs}},
 note         = {Preprint.},
)
@book(cbpv,
 author       = {Paul~Blain Levy},
 year         = {2004},
 title        = {Call-By-Push-Value: {A} Functional/Imperative Synthesis},
 series       = {Semantics Structures in Computation},
 volume       = {2},
 publisher    = {Springer},
)
@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},
 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},
)
@article(relating-models,
 author       = {Maria~Emilia Maietti and Paola Maneggia and Valeria de~Paiva and Eike Ritter},
 year         = {2005},
 title        = {Relating Categorical Semantics for Intuitionistic Linear Logic},
 journal      = {Applied Categorical Structures},
 volume       = {13},
 number       = {1},
 doi          = {10.1007/s10485-004-3134-z},
)
@article(moggi,
 author       = {Eugenio Moggi},
 year         = {1991},
 title        = {Notions of Computation and Monads},
 journal      = {Inf. Comput.},
 volume       = {93},
 number       = {1},
 pages        = {55--92},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@inproceedings(quant-semantics,
 author       = {Michele Pagani and Peter Selinger and Beno{\^{\i}}t Valiron},
 year         = {2014},
 title        = {Applying quantitative semantics to higher-order quantum computing},
 booktitle    = {{POPL}},
 doi          = {10.1145/2535838.2535879},
)
@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},
 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},
 booktitle    = {Foundations of Software Science and Computation Structures 2020},
 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(qpl,
 author       = {Peter Selinger},
 year         = {2004},
 title        = {Towards a quantum programming language},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {14},
 number       = {4},
 pages        = {527--586},
 doi          = {10.1017/S0960129504004256},
)
@inproceedings(sv-lnl,
 author       = {Peter Selinger and Beno{\^{\i}}t Valiron},
 year         = {2008},
 title        = {A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)},
 booktitle    = {{FOSSACS} 2008},
 doi          = {10.1007/978-3-540-78499-9\_7},
)
@inbook(qlc-affine,
 author       = {Peter Selinger and Beno\IeC{\^\i}t Valiron},
 year         = {2009},
 title        = {Quantum Lambda Calculus},
 doi          = {10.1017/CBO9781139193313.005},
 note         = {Semantic Techniques in Quantum Computation},
)
@article(no-cloning,
 author       = {William Wootters and Wojciech Zurek},
 year         = {1982},
 title        = {A single quantum cannot be cloned},
 journal      = {Nature},
 volume       = {299},
 number       = {5886},
 doi          = {10.1038/299802a0},
)