模仿
发表于 2025-3-23 13:42:18
A Counterexample to Tensorability of Effectsoutput, or continuations. One of their advantages is that they allow for a modular treatment of effects, using composition operators such as sum and tensor. Here, the sum represents the non-interacting combination of effects, while the tensor imposes a high degree of interaction in the shape of a co
深陷
发表于 2025-3-23 16:25:26
The Microcosm Principle and Compositionality of GSOS-Based Component Calculiof behaviors—yielding a behavior, where behaviors are identified with states of the final coalgebra—were observed to form an instance of the .. The microcosm principle, a term by Baez and Dolan, refers to the general phenomenon of nested algebraic structures such as a monoid in a monoidal category.
IOTA
发表于 2025-3-23 20:42:25
http://reply.papertrans.cn/16/1525/152485/152485_13.png
难听的声音
发表于 2025-3-23 22:52:36
http://reply.papertrans.cn/16/1525/152485/152485_14.png
疲劳
发表于 2025-3-24 06:07:05
http://reply.papertrans.cn/16/1525/152485/152485_15.png
吊胃口
发表于 2025-3-24 09:36:56
http://reply.papertrans.cn/16/1525/152485/152485_16.png
表两个
发表于 2025-3-24 12:42:45
https://doi.org/10.1007/978-3-322-89179-2Systems of equations over .-continuous semirings can be mapped to context-free grammars in a natural way. We show how an analysis of the derivation trees of the grammar yields new algorithms for approximating and even computing exactly the least solution of the system.
违法事实
发表于 2025-3-24 16:16:25
http://reply.papertrans.cn/16/1525/152485/152485_18.png
有发明天才
发表于 2025-3-24 19:21:24
http://reply.papertrans.cn/16/1525/152485/152485_19.png
MAOIS
发表于 2025-3-25 02:26:19
https://doi.org/10.1007/978-3-662-26470-6We define Boolean algebras over nominal sets with a function symbol И mirroring the И ‘fresh name’ quantifier (Banonas), and dual notions of nominal topology and Stone space. We prove a representation theorem over fields of nominal sets, and extend this to a Stone duality.