References for the paper: A survey of graphical languages for monoidal categories

[1] S. Abramsky and B. Coecke. A categorical semantics of quantum protocols. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, pages 415–425. IEEE Computer Society Press, 2004. Also available from: arXiv:quantph/0402130.

[2] J. C. Baez and J. Dolan. Higher-dimensional algebra and topological quantum field theory. Journal of Mathematical Physics, 36(11):6073–6105, 1995. Also available from: arXiv:q-alg/9503002.

[3] E. S. Bainbridge. Feedback and generalized logic. Information and Control, 31:75–96, 1976.

[4] M. Barr. *-Autonomous Categories. Lecture Notes in Mathematics 752. Springer, 1979.

[5] J. W. Barrett and B. W. Westbury. Spherical categories. Advances in Mathematics, 143:357–375, 1999.

[6] J. Bénabou. Introduction to bicategories, part I. In Reports of the Midwest Category Seminar, Lecture Notes in Mathematics 47, pages 1–77. Springer, 1967.

[7] S. L. Bloom and Z. Ésik. Axiomatizing schemes and their behaviors. Journal of Computer and System Sciences, 31:375–393, 1985.

[8] R. F. Blute, J. R. B. Cockett, R. A. G. Seely, and T. H. Trimble. Natural deduction and coherence for weakly distributive categories. Journal of Pure and Applied Algebra, 113(3):229–296, 1996.

[9] V.-E. Căzănescu. On context-free trees. Theoretical Computer Science, 41:33–50, 1985.

[10] V.-E. Căzănescu and G. Ştefănescu. Towards a new algebraic foundation of flowchart scheme theory. Fundamenta Informaticae, 13:171–210, 1990. Also appeared as: INCREST Preprint Series in Mathematics 43, Bucharest, 1987.

[11] V.-E. Căzănescu and G. Ştefănescu. Feedback, iteration and repetition. In G. Păun, editor, Mathematical aspects of natural and formal languages, pages 43–62. World Scientific, Singapore, 1995. Also appeared as: INCREST Preprint Series in Mathematics 42, Bucharest, 1988.

[12] V.-E. Căzănescu and C. Ungureanu. Again on advice on structuring compilers and proving them correct. Preprint Series in Mathematics 75, INCREST, Bucharest, 1982.

[13] J. R. B. Cockett and R. A. G. Seely. Weakly distributive categories. Journal of Pure and Applied Algebra, 114(2):133–173, 1997.

[14] Z. Ésik. Identities in iterative and rational algebraic theories. Computational Linguistics and Computer Languages, XIV:183–207, 1980.

[15] P. J. Freyd and D. N. Yetter. Braided compact closed categories with applications to low dimensional topology. Advances in Mathematics, 77:156–182, 1989.

[16] P. J. Freyd and D. N. Yetter. Coherence theorems via knot theory. Journal of Pure and Applied Algebra, 78:49–76, 1992.

[17] J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1–102, 1987.

[18] M. Hasegawa. Models of Sharing Graphs: A Categorical Semantics of let and letrec. PhD thesis, Department of Computer Science, University of Edinburgh, July 1997. Also available as LFCS Technical Report ECS-LFCS-97-360, School of Informatics, University of Edinburgh.

[19] A. Joyal and R. Street. The geometry of tensor calculus II. Unpublished draft, available from Ross Street's website.

[20] A. Joyal and R. Street. Braided monoidal categories. Mathematics Report 860081, Macquarie University, Nov. 1986.

[21] A. Joyal and R. Street. Planar diagrams and tensor algebra. Unpublished manuscript, available from Ross Street's website, Sept. 1988.

[22] A. Joyal and R. Street. The geometry of tensor calculus I. Advances in Mathematics, 88(1):55–112, 1991.

[23] A. Joyal and R. Street. Braided tensor categories. Advances in Mathematics, 102:20–78, 1993.

[24] A. Joyal, R. Street, and D. Verity. Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society, 119:447–468, 1996.

[25] L. H. Kauffman. An invariant of regular isotopy. Transactions of the American Mathematical Society, 318(2):417–471, 1990.

[26] G. M. Kelly. An abstract approach to coherence. In S. Mac Lane, editor, Coherence in Categories, Lecture Notes in Mathematics 281, pages 106–147. Springer, 1972.

[27] G. M. Kelly and M. L. Laplaza. Coherence for compact closed categories. Journal of Pure and Applied Algebra, 19:193–213, 1980.

[28] S. Mac Lane. Natural associativity and commutativity. Rice University Studies, 49:28–46, 1963.

[29] S. Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics 5. Springer, 1971.

[30] R. Penrose. Applications of negative dimensional tensors. In D. J. A. Welsh, editor, Combinatorial Mathematics and its Applications, pages 221–244. Academic Press, New York, 1971.

[31] K. Reidemeister. Knotentheorie. Springer, Berlin, 1932; Chelsea, New York, 1948. English translation: Knot Theory, BCS Associates, 1983.

[32] N. Saavedra Rivano. Catégories Tannakiennes. Lecture Notes in Mathematics 265. Springer, 1972.

[33] P. Selinger. Dagger compact closed categories and completely positive maps. In Proceedings of the 3rd International Workshop on Quantum Programming Languages, Electronic Notes in Theoretical Computer Science 170, pages 139–163. Elsevier Science, 2007.

[34] M. C. Shum. Tortile tensor categories. Journal of Pure and Applied Algebra, 93:57–110, 1994.

[35] G. Ştefănescu. An algebraic theory of flowchart schemes. In Proceedings of the 11th Colloquium on Trees in Algebra and Programming, CAAP'86, Lecture Notes in Computer Science 214, pages 60–73. Springer, 1986.

[36] G. Ştefănescu. On flowchart theories, part I. the deterministic case. Journal of Computer and System Sciences, 35(2):163–191, 1987. Also appeared as: INCREST Preprint Series in Mathematics 39, Bucharest, 1984 and INCREST Preprint Series in Mathematics 7, Bucharest, 1985.

[37] G. Ştefănescu. On flowchart theories: Part II. the nondeterministic case. Theoretical Computer Science, 52:307–340, 1987. Also appeared as: INCREST Preprint Series in Mathematics 32, Bucharest, 1985.

[38] G. Ştefănescu. Feedback theories (a calculus for isomorphism classes of flowchart schemes). Revue Roumaine de Mathématiques Pures et Appliquées, 35:73–79, 1990. Also appeared as: INCREST Preprint Series in Mathematics 24, Bucharest, 1986.

[39] G. Ştefănescu. Algebra of flownomials. Technical Report TUM-I9437, Technische Univerität München, 1994.

[40] G. Ştefănescu. Network Algebra. Springer, 2000.

[41] R. Street. Low-dimensional topology and higher-order categories. In Proceedings of the International Category Theory Conference (CT'95), 1995. Available from http://www.mta.ca/~cat-dist/ct95.html.

[42] V. G. Turaev. Quantum Invariants of Knots and 3-Manifolds. Studies in Mathematics 18. Walter De Gruyter & Co., Berlin, 1994.

[43] D. N. Yetter. Framed tangles and a theorem of Deligne on braided deformations of tannakian categories. In M. Gerstenhaber and J. D. Stasheff, editors, Deformation Theory and Quantum Groups with Applications to Mathematical Physics, Contemporary Mathematics 134, pages 325–349. Americal Mathematical Society, 1992.