Bibliography
Bibliography#
- CK17
Bob Coecke and Aleks Kissinger. Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press, Cambridge, 2017. ISBN 978-1-107-10422-8. doi:10.1017/9781316219317.
- DV22
Antonin Delpeuch and Jamie Vicary. Normalization for planar string diagrams and a quadratic equivalence algorithm. Logical Methods in Computer Science, 2022. doi:10.46298/lmcs-18(1:10)2022.
- DV19
Lawrence Dunn and Jamie Vicary. Coherence for Frobenius pseudomonoids and the geometry of linear proofs. ArXiv e-prints, 2019. arXiv:1601.05372, doi:10.23638/LMCS-15(3:5)2019.
- HV19
Chris Heunen and Jamie Vicary. Categories for Quantum Theory: An Introduction. Oxford University Press, September 2019. ISBN 978-0-19-873962-3. doi:10.1093/oso/9780198739623.001.0001.
- Hot65
Günter Hotz. Eine Algebraisierung des Syntheseproblems von Schaltkreisen I. Elektronische Informationsverarbeitung und Kybernetik, 1:185–205, 1965.
- JS88
André Joyal and Ross Street. Planar diagrams and tensor algebra. Unpublished manuscript, available from Ross Street's website, 1988.
- JS91
André Joyal and Ross Street. The geometry of tensor calculus, I. Advances in Mathematics, 88(1):55–112, July 1991. doi:10.1016/0001-8708(91)90003-P.
- JS95
André Joyal and Ross Street. The geometry of tensor calculus II. Unpublished draft, available from Ross Street's website, 312:313, 1995.
- Mar47
A Markov. On certain insoluble problems concerning matrices. In Doklady Akad. Nauk SSSR, volume 57, 539–542. 1947.
- Pei06
Charles Santiago Sanders Peirce. Prolegomena to an apology of pragmaticism. The Monist, 16(4):492–546, 1906.
- Pen71
Roger Penrose. Applications of Negative Dimensional Tensors. Combinatorial mathematics and its applications, 1:221–244, 1971.
- Pos47
Emil L. Post. Recursive Unsolvability of a problem of Thue. Journal of Symbolic Logic, 12(1):1–11, March 1947. doi:10.2307/2267170.
- Pow13
James F. Power. Thue's 1914 paper: a translation. arXiv:1308.5858 [cs], August 2013. arXiv:1308.5858.
- Sel10
P. Selinger. A Survey of Graphical Languages for Monoidal Categories. New Structures for Physics, pages 289–355, 2010. doi:10.1007/978-3-642-12821-9_4.
- Thu14
Axel Thue. Probleme über Veränderungen von Zeichenreihen nach gegebenen Regeln. Natur. KI, 1914.