Congratulations to Professor Dusko Pavlovic on the publication of his new textbook, Programs as Diagrams: From Categorical Computability to Computable Categories. Published by Springer, the book “Delivers a ‘crash’ diagram-based course in theory of computation” and “Offers a practical introduction into categories and string diagrams as computational tools.” It is available both in hardcopy and eBook/Kindle formats.
Purchase/Read more about Programs as Diagrams: