An Introduction to String Diagrams for Computer Scientists (Cambridge U P) Published 16 Jun 2025 Full Article