Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=Dusko Pavlovic
cover
Programs as Diagrams
Comment Share
Dusko Pavlovic

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; prog…

Edition
1
ISBN/ISSN
978-3-031-34827-3
Collation
XVII, 252, 1 b/w illustrations
Series Title
Theory and Applications of Computability
Call Number
-