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.