Menu Close

Professor Pavlovic Publishes New Textbook

Programs as Diagrams textbook by Dusko Pavlovic

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:

Posted in ASECO, Faculty, News, Publications, Publications, Theory