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影響因子(影響力)學(xué)科排名




書目名稱Category Theory and Computer Science網(wǎng)絡(luò)公開度




書目名稱Category Theory and Computer Science網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Category Theory and Computer Science被引頻次




書目名稱Category Theory and Computer Science被引頻次學(xué)科排名




書目名稱Category Theory and Computer Science年度引用




書目名稱Category Theory and Computer Science年度引用學(xué)科排名




書目名稱Category Theory and Computer Science讀者反饋




書目名稱Category Theory and Computer Science讀者反饋學(xué)科排名

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

人類學(xué)家

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

細(xì)菌等

細(xì)菌等

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