Boken 'Programs as Diagrams' utforsker en innovativ tilnærming til dataprogrammer ved å presentere dem som streng-diagrammer innen kategoriteori. Dette unike læreverket fungerer både som tekstbok og referanseverk, og belyser kompleksiteten i dataprogrammers betydning på tvers av ulike programmeringsspråk. I motsetning til tradisjonelle beskrivelser, hvor ord kan være mangelfulle, gir diagrammer en klarere fremstilling av programlogikk – en illustrasjon kan være mer opplysende enn tusen instruksjoner. Gjennom de string-diagramatiske fremstillingene viser boken hvordan funksjoner pakkes inn i boks-strukturer og knyttes sammen med strenger. Lesere med kjennskap til kategoriteori vil få en dypere forståelse av grunnprinsippene bak beregnbarhet, mens de med bakgrunn i beregnbarhet også vil få tilgang til kategoriteori. For dem som har kunnskap om begge felt, åpner boken for mange muligheter til å forbedre og utvide tilnærmingen. Boken inkluderer også et 'crash' diagram-basert kurs i beregnings-teori, som gjør den til en verdifull ressurs for både studenter og fagfolk.
