Programs as Diagrams

DOI10.1007/978-3-031-34827-3arXiv2208.03817OpenAlexW4386870733MaRDI QIDQ6060786

Dusko Pavlovic

Publication date: 5 November 2023

Published in: Theory and Applications of Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2208.03817

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) General topics in the theory of computing (68Q01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01) String diagrams and graphical calculi (18M30)

This page was built for publication: Programs as Diagrams