@inproceedings(benton94mixed,
 author       = {Nick Benton},
 year         = {1995},
 title        = {A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)},
 booktitle    = {Proceedings of the 8th Workshop on Computer Science Logic, CSL'94, Selected Papers},
 series       = {Springer Lecture Notes in Computer Science 933},
 pages        = {121--135},
 doi          = {10.1007/BFb0022251},
)
@incollection(Day70,
 author       = {Brian Day},
 year         = {1970},
 title        = {On Closed Categories of Functors},
 booktitle    = {Reports of the Midwest Category Seminar IV},
 series       = {Lecture Notes in Mathematics},
 volume       = {137},
 publisher    = {Springer},
 pages        = {1--38},
 doi          = {10.1007/BFb0060438},
)
@inproceedings(GLRSV2013-pldi,
 author       = {Alexander Green and Peter LeFanu Lumsdaine and Neil J. Ross and Peter Selinger and Beno{\^\i}t Valiron},
 year         = {2013},
 title        = {{Quipper}: a Scalable Quantum Programming Language},
 booktitle    = {Proceedings of the 34th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2013, Seattle},
 series       = {ACM SIGPLAN Notices},
 volume       = {48(6)},
 pages        = {333--342},
 doi          = {10.1145/2499370.2462177},
 note         = {Also available from \urlalt{http://arxiv.org/abs/1304.3390}{arXiv:1304.3390}},
)
@unpublished(GLRSV2013-quipper,
 author       = {Alexander Green and Peter LeFanu Lumsdaine and Neil J. Ross and Peter Selinger and Beno{\^\i}t Valiron},
 year         = {2013},
 title        = {The {Quipper} language},
 note         = {Software implementation, available from \url{http://www.mathstat.dal.ca/~selinger/quipper/}},
)
@inproceedings(Kahn87,
 author       = {Gilles Kahn},
 year         = {1987},
 title        = {Natural Semantics},
 booktitle    = {Proceedings of the 4th Annual Symposium on Theoretical Aspects of Computer Science (STACS 1987)},
 publisher    = {Springer},
 pages        = {22--39},
 doi          = {10.1007/BFb0039592},
)
@book(MacLane91,
 author       = {S. Mac Lane},
 year         = {1998},
 title        = {Categories for the Working Mathematician},
 edition      = {2nd},
 series       = {Graduate Texts in Mathematics},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-4721-8},
)
@inproceedings(Mellies09,
 author       = {Paul-Andr{\'e} Melli{\`e}s},
 year         = {2009},
 title        = {Categorical semantics of linear logic},
 booktitle    = {Interactive Models of Computation and Program Behaviour},
 series       = {Panoramas et Synth{\`e}ses},
 volume       = {27},
 publisher    = {Soci{\'e}t{\'e} Math{\'e}matique de France},
 pages        = {1--196},
)
@inproceedings(Paykin2017a,
 author       = {Jennifer Paykin and Robert Rand and Steve Zdancewic},
 year         = {2017},
 title        = {QWIRE: A Core Language for Quantum Circuits},
 booktitle    = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages},
 series       = {POPL 2017},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {846--858},
 doi          = {10.1145/3009837.3009894},
)
@phdthesis(RossThesis,
 author       = {Neil J. Ross},
 year         = {2015},
 title        = {Algebraic and Logical Methods in Quantum Computation},
 school       = {Department of Mathematics and Statistics, Dalhousie University},
 note         = {Available from \urlalt{http://arxiv.org/abs/1510.02198}{arXiv:1510.02198}},
)
@incollection(SV2009-qlambdabook,
 author       = {Peter Selinger and Beno{\^\i}t Valiron},
 year         = {2009},
 title        = {Quantum Lambda Calculus},
 editor       = {Simon Gay and Ian Mackie},
 booktitle    = {Semantic Techniques in Quantum Computation},
 chapter      = {4},
 publisher    = {Cambridge University Press},
 pages        = {135--172},
 doi          = {10.1017/CBO9781139193313.005},
)