@inproceedings(benton-wadler,
 author       = {Nick Benton and Philip Wadler},
 year         = {1996},
 title        = {Linear Logic, Monads and the Lambda Calculus},
 booktitle    = {Proceedings of the 11th Symposium on Logic in Computer Science, LICS'96},
 organization = {IEEE},
 publisher    = {IEEE Computer Society Press},
 pages        = {420--431},
 doi          = {10.1109/LICS.1996.561458},
)
@misc(benton-big,
 author       = {P.N. Benton},
 year         = {1994},
 title        = {A mixed linear and non-linear logic: Proofs, terms and models},
 url          = {http://www.cl.cam.ac.uk/~am21/grants/lomaps/pnbpapers/mixed3.ps.gz},
 note         = {Technical Report},
)
@inproceedings(benton-small,
 author       = {P.N. Benton},
 year         = {1995},
 title        = {A mixed linear and non-linear logic: Proofs, terms and models},
 booktitle    = {Proc. {CSL} '94, Selected Papers},
 publisher    = {Springer},
 pages        = {121--135},
 doi          = {10.1007/BFb0022251},
)
@book(borceux:handbook1,
 author       = {F. Borceux},
 year         = {1994},
 title        = {Handbook of Categorical Algebra 1: Basic Category Theory},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511525872},
)
@inproceedings(Pfenning,
 author       = {L. Caires and F.. Pfenning},
 year         = {2010},
 title        = {Session types as intuitionistic linear propositions},
 booktitle    = {Proc. CONCUR 2010},
 pages        = {222--236},
 doi          = {10.1007/978-3-642-15375-4_16},
)
@unpublished(ChoWesterbaan16,
 author       = {K. Cho and A. Westerbaan},
 year         = {2016},
 title        = {Von {N}eumann Algebras form a Model for the Quantum Lambda Calculus},
 note         = {Available as arXiv:\href{http://arxiv.org/abs/1603.02113}{1603.02113}},
)
@book(fiore-thesis,
 author       = {M. P. Fiore},
 year         = {1994},
 title        = {Axiomatic domain theory in categories of partial maps},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511526565},
)
@inproceedings(fiore-plotkin,
 author       = {Marcelo Fiore and Gordon Plotkin},
 year         = {1994},
 title        = {An Axiomatization of Computationally Adequate Domain Theoretic Models of {FPC}},
 booktitle    = {Proc. {LICS}'94},
 publisher    = {{IEEE}},
 pages        = {92--102},
 doi          = {10.1109/LICS.1994.316083},
)
@article(Kornell18,
 author       = {Andre Kornell},
 year         = {2020},
 title        = {Quantum sets},
 journal      = {J. Math. Phys.},
 volume       = {61},
 number       = {10},
 pages        = {102202},
 doi          = {10.1063/1.5054128},
)
@book(kuperbergweaver:quantummetrics,
 author       = {G. Kuperberg and N. Weaver},
 year         = {2012},
 title        = {A {V}on {N}eumann {A}lgebra {A}pproach to {Q}uantum {M}etrics: {Q}uantum {R}elations},
 series       = {Memoirs of the American Mathematical Society},
 volume       = {215},
 publisher    = {AMS},
 doi          = {10.1090/S0065-9266-2011-00637-4},
)
@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},
 volume       = {14},
 pages        = {97\IeC{\textendash}139},
 doi          = {10.1007/BF01752392},
)
@inproceedings(LMZ18,
 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    = {Proc. LICS'18},
 publisher    = {ACM},
 pages        = {659--668},
 doi          = {10.1145/3209108.3209196},
)
@article(LMZ20,
 author       = {Bert Lindenhovius and Michael W. Mislove and Vladimir Zamdzhiev},
 year         = {2021},
 title        = {{LNL-FPC:} The Linear/Non-linear Fixpoint Calculus},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {17},
 number       = {2},
 doi          = {10.23638/LMCS-17(2:9)2021},
)
@unpublished(mellies:categoricalmodelsofLL,
 author       = {Melli\IeC{\`e}s, P.-A.},
 year         = {2003},
 title        = {Categorical models of linear logic revisited},
 note         = {Available as hal-00154229.},
)
@book(NielsenChuang,
 author       = {M. A. Nielsen and I. L. Chuang},
 year         = {2010},
 title        = {Quantum Computation and Quantum Information},
 edition      = {10th anniversary edition},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511976667},
)
@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    = {Proc. {POPL}'14,},
 publisher    = {{ACM}},
 pages        = {647--658},
 doi          = {10.1145/2535838.2535879},
)
@inproceedings(qwire,
 author       = {J. Paykin and R. Rand and S. Zdancewic},
 year         = {2017},
 title        = {{QWIRE:} a core language for quantum circuits},
 booktitle    = {Proc. {POPL}'17},
 publisher    = {{ACM}},
 pages        = {846--858},
 doi          = {10.1145/3009837.3009894},
)
@inproceedings(PPRZ19,
 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    = {Proc. {FoSSaCS} 2020},
 series       = {Lecture Notes in Computer Science},
 volume       = {12077},
 publisher    = {Springer},
 pages        = {562--581},
 doi          = {10.1007/978-3-030-45231-5_29},
)
@article(ewire-lmcs,
 author       = {Mathys Rennela and Sam Staton},
 year         = {2020},
 title        = {Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory},
 journal      = {Logical Methods in Computer Science},
 volume       = {6},
 number       = {1},
 doi          = {10.23638/LMCS-16(1:30)2020},
)
@inproceedings(pqm-small,
 author       = {Francisco Rios and Peter Selinger},
 year         = {2017},
 title        = {A categorical model for a quantum circuit description language},
 booktitle    = {Proc. QPL 2017},
 series       = {{EPTCS}},
 volume       = {266},
 pages        = {164--178},
 doi          = {10.4204/EPTCS.266.11},
)
@article(Sasaki54,
 author       = {U. Sasaki},
 year         = {1954},
 title        = {Orthocomplemented Lattices Satisfying the Exchange Axiom},
 journal      = {J. Sci. Hiroshima Univ. Ser. A},
 volume       = {17},
 number       = {3},
 pages        = {293--302},
 doi          = {10.32917/hmj/1557281141},
)
@article(selingervaliron:quantumlambda,
 author       = {P. Selinger and B. Valiron},
 year         = {2006},
 title        = {A lambda calculus for quantum computation with classical control},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {16},
 number       = {3},
 pages        = {527--552},
 doi          = {10.1017/S0960129506005238},
)
@book(takesaki:oa1,
 author       = {M. Takesaki},
 year         = {2000},
 title        = {Theory of {O}perator {A}lgebra {I}},
 publisher    = {Springer},
)
@unpublished(wikipedia,
 author       = {Trenar3},
 title        = {Quantum Fourier transform},
 note         = {Wikimedia, available at \url{https://commons.wikimedia.org/wiki/File:Q_fourier_nqubits.png}},
)
@article(Weaver10,
 author       = {N. Weaver},
 year         = {2012},
 title        = {Quantum relations},
 journal      = {Mem. Amer. Math. Soc.},
 volume       = {215},
 pages        = {v-vi, 81-140},
 doi          = {10.1090/S0065-9266-2011-00637-4},
)
@article(Weaver19,
 author       = {N. Weaver},
 year         = {2020},
 title        = {Hereditarily antisymmetric operator algebras},
 journal      = {J. Inst. Math. Jussieu},
 volume       = {20},
 pages        = {1039--1074},
 doi          = {10.1017/S1474748019000483},
)