Programs as Diagrams From Categorical Computability to Computable Categories
tarafından
Pavlovic, Dusko. author.
Başlık
:
Programs as Diagrams From Categorical Computability to Computable Categories
Yazar
:
Pavlovic, Dusko. author.
ISBN
:
9783031348273
Basım Bilgisi
:
1st ed. 2023.
Fiziksel Tanımlama
:
XVII, 252 p. 1 illus. online resource.
Seri
:
Theory and Applications of Computability, In cooperation with the association Computability in Europe,
İçerik
:
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.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 520627-1001 | ONLINE | | Elektronik Kütüphane |