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

全面介绍

书目详细资料

主要作者:	Pavlovic, Dusko (Author)
企业作者:	SpringerLink (Online service)
格式:	电子 电子书
语言:	英语
出版:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
版:	1st ed. 2023.
丛编:	Theory and Applications of Computability, In cooperation with the Association Computability in Europe,
主题:	Computer science. Computable functions. Recursion theory. Computational complexity. Programming languages (Electronic computers). Theory of Computation. Computability and Recursion Theory. Computational Complexity. Programming Language.
在线阅读:	https://doi.org/10.1007/978-3-031-34827-3
标签:	添加标签 没有标签, 成为第一个标记此记录!