高深莫测
发表于 2025-3-23 11:36:34
C. Hamani,J. S. Neimat,Andres M. Lozanotions with respect to an environment. The weak rules naturally induce an abstract machine, the . (or CAM), where the categorical terms themselves, considered as machine code, act on a graph of values, with a stack to store pointers on this graph.
倒转
发表于 2025-3-23 14:20:38
C. Hamani,J. S. Neimat,Andres M. Lozanoe a simple notion of approximation between concrete data structures, which allows us to solve domain equations in a naive way. The notion is connected with that of injection-projection pairs, used classically.
cluster
发表于 2025-3-23 20:31:14
https://doi.org/10.1007/978-1-4612-0317-9algorithm; algorithms; calculus; data structure; data structures; functional programming; logic; programmin
mydriatic
发表于 2025-3-24 01:58:23
http://reply.papertrans.cn/23/2226/222526/222526_14.png
方舟
发表于 2025-3-24 05:14:49
http://reply.papertrans.cn/23/2226/222526/222526_15.png
Arbitrary
发表于 2025-3-24 08:59:38
http://reply.papertrans.cn/23/2226/222526/222526_16.png
Militia
发表于 2025-3-24 11:54:00
http://reply.papertrans.cn/23/2226/222526/222526_17.png
注意力集中
发表于 2025-3-24 18:07:33
http://reply.papertrans.cn/23/2226/222526/222526_18.png
改变立场
发表于 2025-3-24 19:06:41
http://reply.papertrans.cn/23/2226/222526/222526_19.png
PLAYS
发表于 2025-3-25 01:04:16
https://doi.org/10.1007/978-3-211-69295-0Syntax, computers push symbols. Why not the semantics? This could be the slogan of this book. We believe that sequential algorithms contribute to the “geometric” understanding of computation, advocated by Girard. Categorical combinators have contributed in formalizing numerous implementation issues of functional languages.