Programs as Diagrams

Free Download Programs as Diagrams: From Categorical Computability to Computable Categories
(Theory and Applications of Computability)
English | 2023 | ISBN: 3031348265 | 419 Pages | PDF EPUB (True) | 29 MB

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; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language. Such programs as diagrams show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach.

Rapidgator
uhpne.rar.html
NitroFlare
uhpne.rar
Uploadgig
uhpne.rar
NovaFile
uhpne.rar
Fikper
uhpne.rar.html