Skip to:Content
|
Bottom
Cover image for Programs as Diagrams From Categorical Computability to Computable Categories
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:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 520627-1001 XX(520627.1)
Searching...

On Order

Go to:Top of Page