Programs as Diagrams From Categorical Computability to Computable Categories /
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...
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Edició: | 1st ed. 2023. |
| Col·lecció: | Theory and Applications of Computability, In cooperation with the Association Computability in Europe,
|
| Matèries: | |
| Accés en línia: | https://doi.org/10.1007/978-3-031-34827-3 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Taula de continguts:
- 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.