Programs as Diagrams: From Categorical Computability to Computable Categories - Hardcover
Pay over time for orders over $35.00 with
Programs as Diagrams: From Categorical Computability to Computable Categories
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.
In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics;...
Dusko Pavlovic was born in Sarajevo, studied mathematics and programming in Utrecht, taught at McGill, Imperial College London, Oxford, and Royal Holloway, before joining University of Hawaii in 2014. In the meantime he also spent 12 years thinking and talking about applications in Palo Alto CA. His research interests evolved from pure mathematics, through theoretical computer science and...
Edition
2023 Edition
Contributor(s)
Author
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.