On string diagrams in computer science:
Dan Ghica, Fabio Zanasi, String Diagrams for λ-calculi and Functional Computation [arXiv:2305.18945]
Robin Piedeleu, Fabio Zanasi: An Introduction to String Diagrams for Computer Scientists, Cambridge University Press (2025) [arXiv:2305.08768, doi:10.1017/9781009625715]
On string diagrams for discussion of coherence and strictification for symmetric monoidal categories:
Last revised on August 12, 2025 at 16:32:02. See the history of this page for a list of all contributions to it.