Introduction to String Diagrams for Computer ScientistsRobin Piedeleu, Fabio Zanasi · First published 2025Open the Tome
Coalgebraic Methods in Computer ScienceHelle Hvid Hansen, Fabio Zanasi · First published 2022Open the Tome