Title:
Programs as Diagrams From Categorical Computability to Computable Categories
Author:
Pavlovic, Dusko. author.
ISBN:
9783031348273
Edition:
1st ed. 2023.
Physical Description:
XVII, 252 p. 1 illus. online resource.
Series:
Theory and Applications of Computability, In cooperation with the association Computability in Europe,
Contents:
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.
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-34827-3Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 520627-1001 | XX(520627.1) | Searching... | Searching... |