弄皱
发表于 2025-3-28 15:28:37
http://reply.papertrans.cn/23/2288/228705/228705_41.png
Aphorism
发表于 2025-3-28 20:40:59
Parametric design: an historical perspectiveof systems (terminal coalgebras and coinduction) and in a number of other connections such as iterative theories (rational fixed point). In this survey we present some older and new results on the structure of the three fixed points we have mentioned.
ALOFT
发表于 2025-3-29 02:42:46
Parametric design: an historical perspectiveof systems (terminal coalgebras and coinduction) and in a number of other connections such as iterative theories (rational fixed point). In this survey we present some older and new results on the structure of the three fixed points we have mentioned.
数量
发表于 2025-3-29 04:30:10
http://reply.papertrans.cn/23/2288/228705/228705_44.png
柏树
发表于 2025-3-29 08:22:01
http://reply.papertrans.cn/23/2288/228705/228705_45.png
Memorial
发表于 2025-3-29 14:07:49
Parametric design: an historical perspectiveal category . of .coalgebras these notions may, however, diverge. In many cases, observational equivalence, being transitive, turns out to be more useful..In this paper, we shall investigate the role of transitivity for the largest bisimulation of a coalgebra. Passing to relations between two coalge
不透明
发表于 2025-3-29 17:35:22
Variability in component systemsotions to properties in the theory of monads. A new property of a monad (‘strongly affine’) is introduced. It is shown that for such strongly affine monads predicates are in bijective correspondence with side-effect-free instruments. Also it is shown that these instruments are commutative, in a suit
GLOOM
发表于 2025-3-29 20:55:46
http://reply.papertrans.cn/23/2288/228705/228705_48.png
秘密会议
发表于 2025-3-30 01:02:17
https://doi.org/10.1007/978-3-211-71539-0where . is the cofree comonad on ., describes derivations by resolution. Using lax semantics, that correspondence may be extended to a class of first-order logic programs without existential variables. The resulting extension captures the proofs by term-matching resolution in logic programming. Refi
mendacity
发表于 2025-3-30 05:14:14
Material complexity in facade designdy known that these product rules can be represented using distributive laws, e.g. via a suitable quotient of a GSOS law. In this paper, we cast these product rules into a general setting where we have two monads . and ., a (possibly copointed) behavioural functor ., a distributive law of . over .,