Titlebook: Category Theory and Computer Science; 7th International Co Eugenio Moggi,Giuseppe Rosolini Conference proceedings 1997 Springer-Verlag Berl

军械

书目名称Category Theory and Computer Science影响因子(影响力)




书目名称Category Theory and Computer Science影响因子(影响力)学科排名




书目名称Category Theory and Computer Science网络公开度




书目名称Category Theory and Computer Science网络公开度学科排名




书目名称Category Theory and Computer Science被引频次




书目名称Category Theory and Computer Science被引频次学科排名




书目名称Category Theory and Computer Science年度引用




书目名称Category Theory and Computer Science年度引用学科排名




书目名称Category Theory and Computer Science读者反馈




书目名称Category Theory and Computer Science读者反馈学科排名

ARCHE

A factorisation theorem in rewriting theory,rically that kind of judicious computations, [M] introduces the notion of . derivations in its axiomatic description of Rewriting Systems: a derivation . : . → . is said to be external when the derivation e; f : M → Q is standard whenever the derivation . : . → . is standard..In this article, we sho

人类学家

Monads and modular term rewriting,. In [Lü96], this semantics was used to give a purely categorical proof of the modularity of confluence for the disjoint union of term rewriting systems. This paper provides further support for monadic semantics of rewriting by giving a categorical proof of the most general theorem concerning the mo

小鹿

Mortar

Presheaf models for the ,-calculus, it is shown how this approach can also handle systems where the language of actions may change dynamically as a process evolves. The example is the .-calculus, a calculus for ‘mobile processes’ whose communication topology varies as channels are created and discarded. A denotational semantics is de

细菌等

细菌等

exclamation

不吉祥的女人

Combining and representing logical systems,g Goguen and Burstall, we adopt the model-theoretic view of logic as captured in the notion of institution and of parchment (a certain algebraic way of presenting institutions)..We propose a modified notion of parchment together with a notion of parchment morphism and representation, respectively. W

ventilate