@inproceedings(DBLP:conf/lics/AbramskyC04,
 author       = {Samson Abramsky and Bob Coecke},
 year         = {2004},
 title        = {A Categorical Semantics of Quantum Protocols},
 booktitle    = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004), 14-17 July 2004, Turku, Finland, Proceedings},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@inproceedings(DBLP:conf/icfp/BjesseCSS98,
 author       = {Per Bjesse and Koen Claessen and Mary Sheeran and Satnam Singh},
 year         = {1998},
 title        = {Lava: Hardware Design in {H}askell},
 booktitle    = {Proceedings of the third {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA, September 27-29, 1998.},
 pages        = {174--184},
 doi          = {10.1145/289423.289440},
)
@inproceedings(DBLP:conf/lics/BonchiGKSZ16,
 author       = {Filippo Bonchi and Fabio Gadducci and Aleks Kissinger and Pawel Sobocinski and Fabio Zanasi},
 year         = {2016},
 title        = {Rewriting modulo symmetric monoidal structure},
 booktitle    = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
 pages        = {710--719},
 doi          = {10.1145/2933575.2935316},
)
@inproceedings(DBLP:conf/popl/BonchiSZ15,
 author       = {Filippo Bonchi and Pawel Sobocinski and Fabio Zanasi},
 year         = {2015},
 title        = {Full Abstraction for Signal Flow Graphs},
 booktitle    = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015},
 pages        = {515--526},
 doi          = {10.1145/2676726.2676993},
)
@inproceedings(DBLP:conf/emnlp/ChoMGBBSB14,
 author       = {Kyunghyun Cho and Bart van Merrienboer and G{\"{u}}l{\c{c}}ehre, {\c{C}}aglar and Dzmitry Bahdanau and Fethi Bougares and Holger Schwenk and Yoshua Bengio},
 year         = {2014},
 title        = {Learning Phrase Representations using {RNN} Encoder-Decoder for Statistical Machine Translation},
 booktitle    = {Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing, {EMNLP} 2014, October 25-29, 2014, Doha, Qatar, {A} meeting of SIGDAT, a Special Interest Group of the {ACL}},
 pages        = {1724--1734},
 url          = {http://aclweb.org/anthology/D/D14/D14-1179.pdf},
)
@inproceedings(Coecke2008,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2008},
 title        = {Interacting Quantum Observables},
 booktitle    = {Automata, Languages and Programming, 35th International Colloquium, {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&} Track {C:} Security and Cryptography Foundations},
 pages        = {298--310},
 doi          = {10.1007/978-3-540-70583-3\_25},
)
@article(Cazanescu:1990:TNA:97367.97373,
 author       = {C\u{a}z\u{a}nescu, V. E. and Stef\u{a}nescu, Gheorghe},
 year         = {1990},
 title        = {Towards a New Algebraic Foundation of Flowchart Scheme Theory},
 journal      = {Fundam. Inf.},
 volume       = {13},
 number       = {2},
 pages        = {171--210},
 url          = {http://dl.acm.org/citation.cfm?id=97367.97373},
)
@incollection(ghica2013diagrammatic,
 author       = {Dan R Ghica},
 year         = {2013},
 title        = {Diagrammatic reasoning for delay-insensitive asynchronous circuits},
 booktitle    = {Computation, Logic, Games, and Quantum Foundations},
 publisher    = {Springer},
 pages        = {52--68},
 doi          = {10.1007/978-3-642-38164-5\_5},
)
@inproceedings(GhicaJung16,
 author       = {Dan R. Ghica and Achim Jung},
 year         = {2016},
 title        = {Categorical semantics of digital circuits},
 editor       = {Ruzica Piskac and Muralidhar Talupur},
 booktitle    = {Formal Methods in Computer-Aided Design (FMCAD), 2016, Mountain View, California, USA},
 pages        = {41--49},
 doi          = {10.1109/FMCAD.2016.7886659},
)
@inproceedings(GhicaJL,
 author       = {Dan R. Ghica and Achim Jung and Aliaume Lopez},
 year         = {2017},
 title        = {{Diagrammatic Semantics for Digital Circuits}},
 editor       = {Valentin Goranko and Mads Dam},
 booktitle    = {26th EACSL Annual Conference on Computer Science Logic (CSL 2017)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {82},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {24:1--24:16},
 doi          = {10.4230/LIPIcs.CSL.2017.24},
)
@article(Hackney2015,
 author       = {Philip Hackney and Marcy Robertson},
 year         = {2015},
 title        = {On the Category of Props},
 journal      = {Applied Categorical Structures},
 volume       = {23},
 number       = {4},
 pages        = {543--573},
 doi          = {10.1007/s10485-014-9369-4},
)
@inproceedings(DBLP:conf/tlca/Hasegawa97,
 author       = {Masahito Hasegawa},
 year         = {1997},
 title        = {Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi},
 booktitle    = {Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France, April 2-4, 1997, Proceedings},
 pages        = {196--213},
 doi          = {10.1007/3-540-62688-3\_37},
)
@article(DBLP:journals/neco/HochreiterS97,
 author       = {Sepp Hochreiter and J{\"{u}}rgen Schmidhuber},
 year         = {1997},
 title        = {Long Short-Term Memory},
 journal      = {Neural Computation},
 volume       = {9},
 number       = {8},
 pages        = {1735--1780},
 doi          = {10.1162/neco.1997.9.8.1735},
)
@article(joyal1991geometry,
 author       = {Andr{\'e} Joyal and Ross Street},
 year         = {1991},
 title        = {The geometry of tensor calculus, {I}},
 journal      = {Advances in Mathematics},
 volume       = {88},
 number       = {1},
 pages        = {55--112},
 doi          = {10.1016/0001-8708(91)90003-P},
)
@article(Kissinger,
 author       = {Aleks Kissinger},
 year         = {2012},
 title        = {Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing},
 journal      = {arXiv preprint arXiv:1203.0202},
 url          = {https://arxiv.org/abs/1203.0202},
)
@article(rosebrugh2005generic,
 author       = {Robert Rosebrugh and Nicoletta Sabadini and RFC Walters},
 year         = {2005},
 title        = {Generic commutative separable algebras and cospans of graphs},
 journal      = {Theory and applications of categories},
 volume       = {15},
 number       = {6},
 pages        = {164--177},
 url          = {http://www.tac.mta.ca/tac/volumes/15/6/15-06abs.html},
)
@article(DBLP:journals/logcom/SadrzadehCC13,
 author       = {Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke},
 year         = {2013},
 title        = {The {F}robenius anatomy of word meanings {I:} subject and object relative pronouns},
 journal      = {J. Log. Comput.},
 volume       = {23},
 number       = {6},
 pages        = {1293--1317},
 doi          = {10.1093/logcom/ext044},
)
@incollection(selinger2010survey,
 author       = {Peter Selinger},
 year         = {2010},
 title        = {A survey of graphical languages for monoidal categories},
 booktitle    = {New structures for physics},
 publisher    = {Springer},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9\_4},
)
@misc(vicary,
 author       = {J Vicary},
 note         = {Personal communication},
)