|  |
 |
| Artikel-Nr.: 5667A-9783031348266 Herst.-Nr.: 9783031348266 EAN/GTIN: 9783031348266 |
| |
|
|  |  |
 | From Categorical Computability to Computable Categories Weitere Informationen:  |  | Author: | Dusko Pavlovic | Verlag: | Springer International Publishing | Sprache: | eng |
|
|  |  |
 | |  |  |
 | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, String Diagram, Metaprogramming, Type Theory, Halting Problem, Monoidal Category, Program SemanIcs, Self-reference, Effective Operation, Software, Universality, Compiler |
|  |  |
| |