Samson Abramsky & Bob Coecke (2004):
A Categorical Semantics of Quantum Protocols.
In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings,
pp. 415–425,
doi:10.1109/LICS.2004.1319636.
Per Bjesse, Koen Claessen, Mary Sheeran & Satnam Singh (1998):
Lava: Hardware Design in Haskell.
In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998.,
pp. 174–184,
doi:10.1145/289423.289440.
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski & Fabio Zanasi (2016):
Rewriting modulo symmetric monoidal structure.
In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016,
pp. 710–719,
doi:10.1145/2933575.2935316.
Filippo Bonchi, Pawel Sobocinski & Fabio Zanasi (2015):
Full Abstraction for Signal Flow Graphs.
In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015,
pp. 515–526,
doi:10.1145/2676726.2676993.
Kyunghyun Cho, Bart van Merrienboer, Çaglar Gülçehre, Dzmitry Bahdanau, Fethi Bougares, Holger Schwenk & Yoshua Bengio (2014):
Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translation.
In: 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,
pp. 1724–1734.
Available at http://aclweb.org/anthology/D/D14/D14-1179.pdf.
Bob Coecke & Ross Duncan (2008):
Interacting Quantum Observables.
In: 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,
pp. 298–310,
doi:10.1007/978-3-540-70583-3_25.
V. E. Căzănescu & Gheorghe Stefănescu (1990):
Towards a New Algebraic Foundation of Flowchart Scheme Theory.
Fundam. Inf. 13(2),
pp. 171–210.
Available at http://dl.acm.org/citation.cfm?id=97367.97373.
Dan R Ghica (2013):
Diagrammatic reasoning for delay-insensitive asynchronous circuits.
In: Computation, Logic, Games, and Quantum Foundations.
Springer,
pp. 52–68,
doi:10.1007/978-3-642-38164-5_5.
Dan R. Ghica & Achim Jung (2016):
Categorical semantics of digital circuits.
In: Ruzica Piskac & Muralidhar Talupur: Formal Methods in Computer-Aided Design (FMCAD), 2016, Mountain View, California, USA,
pp. 41–49,
doi:10.1109/FMCAD.2016.7886659.
Dan R. Ghica, Achim Jung & Aliaume Lopez (2017):
Diagrammatic Semantics for Digital Circuits.
In: Valentin Goranko & Mads Dam: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017),
Leibniz International Proceedings in Informatics (LIPIcs) 82.
Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik,
Dagstuhl, Germany,
pp. 24:1–24:16,
doi:10.4230/LIPIcs.CSL.2017.24.
Philip Hackney & Marcy Robertson (2015):
On the Category of Props.
Applied Categorical Structures 23(4),
pp. 543–573,
doi:10.1007/s10485-014-9369-4.
Masahito Hasegawa (1997):
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi.
In: Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings,
pp. 196–213,
doi:10.1007/3-540-62688-3_37.
Sepp Hochreiter & Jürgen Schmidhuber (1997):
Long Short-Term Memory.
Neural Computation 9(8),
pp. 1735–1780,
doi:10.1162/neco.1997.9.8.1735.
André Joyal & Ross Street (1991):
The geometry of tensor calculus, I.
Advances in Mathematics 88(1),
pp. 55–112,
doi:10.1016/0001-8708(91)90003-P.
Aleks Kissinger (2012):
Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing.
arXiv preprint arXiv:1203.0202.
Available at https://arxiv.org/abs/1203.0202.
Robert Rosebrugh, Nicoletta Sabadini & RFC Walters (2005):
Generic commutative separable algebras and cospans of graphs.
Theory and applications of categories 15(6),
pp. 164–177.
Available at http://www.tac.mta.ca/tac/volumes/15/6/15-06abs.html.
Mehrnoosh Sadrzadeh, Stephen Clark & Bob Coecke (2013):
The Frobenius anatomy of word meanings I: subject and object relative pronouns.
J. Log. Comput. 23(6),
pp. 1293–1317,
doi:10.1093/logcom/ext044.
Peter Selinger (2010):
A survey of graphical languages for monoidal categories.
In: New structures for physics.
Springer,
pp. 289–355,
doi:10.1007/978-3-642-12821-9_4.
eptcs@eptcs.org