An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)
Cambridge University Press
Theoretical Computer Science for the Working Category Theorist (Elements in Applied Theory)
Back to top