开头 发表于 2025-3-23 11:46:40

http://reply.papertrans.cn/16/1526/152548/152548_11.png

啜泣 发表于 2025-3-23 16:48:22

http://reply.papertrans.cn/16/1526/152548/152548_12.png

头盔 发表于 2025-3-23 20:12:00

http://reply.papertrans.cn/16/1526/152548/152548_13.png

细丝 发表于 2025-3-23 23:17:14

Parametric Specificational functors have least fixed points. In this sense . is a “parameter” for the “lists-of-” specifier. The specific parameter . may itself arise from another data type specification and may live in a category of arbitrary complexity subject to the technical needs of semantics.

irreparable 发表于 2025-3-24 05:29:56

https://doi.org/10.1007/978-3-319-95867-5ws from the uniqueness assertion in the Banach theorem. Finally, we show in Section 9.4 that the language defined by a context-free grammar often arises as the unique fixed point of the Banach theorem.

Offset 发表于 2025-3-24 09:12:23

http://reply.papertrans.cn/16/1526/152548/152548_16.png

安心地散步 发表于 2025-3-24 12:33:33

http://reply.papertrans.cn/16/1526/152548/152548_17.png

nutrition 发表于 2025-3-24 17:47:07

0172-603Xseeks a logical proof that the program satisfies its specification. An alternative approach, pioneered by Scott and Strachey, is called denotational semantics:978-1-4612-9377-4978-1-4612-4962-7Series ISSN 0172-603X Series E-ISSN 2512-5486

无法治愈 发表于 2025-3-24 21:23:47

http://reply.papertrans.cn/16/1526/152548/152548_19.png

蚊子 发表于 2025-3-25 02:12:18

An Introduction to Category Theory .. In addition to the need to consider., . as “data structures,” there are theoretical approaches to semantics in which all ., . must carry further structure. Rather than embark on the misguided task of presenting an exhaustive list of present and future possibilities, we introduce. as a framework
页: 1 [2] 3 4 5 6
查看完整版本: Titlebook: Algebraic Approaches to Program Semantics; Ernest G. Manes,Michael A. Arbib Book 1986 Springer Science+Business Media New York 1986 Boolea