Programs as Diagrams From Categorical Computability to Computable Categories
by
Pavlovic, Dusko. author.
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
:
SpringerLink (Online service)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
|---|
| Online Library | E-Book | 520627-1001 | ONLINE | | Elektronik Kütüphane |