Samson Abramsky
Bob Coecke
2004
A Categorical Semantics of Quantum Protocols
19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings
415–425
10.1109/LICS.2004.1319636
Per Bjesse
Koen Claessen
Mary Sheeran
Satnam Singh
1998
Lava: Hardware Design in Haskell
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998.
174–184
10.1145/289423.289440
Filippo Bonchi
Fabio Gadducci
Aleks Kissinger
Pawel Sobocinski
Fabio Zanasi
2016
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016
710–719
10.1145/2933575.2935316
Filippo Bonchi
Pawel Sobocinski
Fabio Zanasi
2015
Full Abstraction for Signal Flow Graphs
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015
515–526
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
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
1724–1734
http://aclweb.org/anthology/D/D14/D14-1179.pdf
Bob Coecke
Ross Duncan
2008
Interacting Quantum Observables
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
298–310
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
171–210
http://dl.acm.org/citation.cfm?id=97367.97373
Dan R Ghica
2013
Diagrammatic reasoning for delay-insensitive asynchronous circuits
Computation, Logic, Games, and Quantum Foundations
Springer
52–68
10.1007/978-3-642-38164-5_5
Dan R. Ghica
Achim Jung
2016
Categorical semantics of digital circuits
Ruzica Piskac
Muralidhar Talupur
Formal Methods in Computer-Aided Design (FMCAD), 2016, Mountain View, California, USA
41–49
10.1109/FMCAD.2016.7886659
Dan R. Ghica
Achim Jung
Aliaume Lopez
2017
Diagrammatic Semantics for Digital Circuits
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
24:1–24:16
10.4230/LIPIcs.CSL.2017.24
Philip Hackney
Marcy Robertson
2015
On the Category of Props
Applied Categorical Structures
23
4
543–573
10.1007/s10485-014-9369-4
Masahito Hasegawa
1997
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi
Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
196–213
10.1007/3-540-62688-3_37
Sepp Hochreiter
Jürgen Schmidhuber
1997
Long Short-Term Memory
Neural Computation
9
8
1735–1780
10.1162/neco.1997.9.8.1735
André Joyal
Ross Street
1991
The geometry of tensor calculus, I
Advances in Mathematics
88
1
55–112
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
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
164–177
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
1293–1317
10.1093/logcom/ext044
Peter Selinger
2010
A survey of graphical languages for monoidal categories
New structures for physics
Springer
289–355
10.1007/978-3-642-12821-9_4
J Vicary
Personal communication