Bearbmagovva

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...

Olles dieđut

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkki: Pavlovic, Dusko (Dahkki)
Searvvušdahkki: SpringerLink (Online service)
Materiálatiipa: Elektrovnnalaš E-girji
Giella:eaŋgalasgiella
Almmustuhtton: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Preanttus:1st ed. 2023.
Ráidu:Theory and Applications of Computability, In cooperation with the Association Computability in Europe,
Fáttát:
Computer science.
Computable functions.
Recursion theory.
Computational complexity.
Programming languages (Electronic computers).
Theory of Computation.
Computability and Recursion Theory.
Computational Complexity.
Programming Language.
Liŋkkat:https://doi.org/10.1007/978-3-031-34827-3
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid

Geahča maid