Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories / by 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 univer...
Saved in:
Full text |
|
Personal Name(s): | Pavlovic, Dusko, author |
Edition: |
1st edition 2023. |
Imprint: |
Cham :
Springer,
2023
|
Physical Description: |
XVII, 252 pages 1 illustration (online resource) |
Note: |
englisch |
ISBN: |
9783031348273 |
DOI: |
10.1007/978-3-031-34827-3 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Theory and Applications of Computability, In cooperation with the association Computability in Europe
|
Subject (LOC): |
- 1. Drawing Types and Functions
- 2. Monoidal Computer: Computability as a Structure
- 3. Fixpoints
- 4. What can be Computed
- 5. What cannot be Computed
- 6. Computing Programs
- 7. Program-Closed Categories: Computability as a Property
- 8. Computable Categories and Effective Categorical Operations.