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

Ceremony

Monads and modular term rewriting,ms. This paper provides further support for monadic semantics of rewriting by giving a categorical proof of the most general theorem concerning the modularity of strong normalisation. In the process, we improve upon the technical aspects of earlier work.

任意

A deciding algorithm for linear isomorphism of types with complexity ,(,,(,)).,ne of the reasons to consider linear isomorphism of types instead of ordinary isomorphism was that better complexity could be expected. Meanwhile, no upper bounds reasonnably close to linear were obtained. We describe an algorithm deciding if two types are linearly isomorphic with complexity .(..(.)).

過于光澤

SAGE

CRANK

原來

First Interlude: A Contingent Irruptionrs”. These lifted functors are used to formulate our proof principles. We test these principles by proving some elementary results for four kinds of trees (with finite or infinite breadth or depth) using the proof tool Pvs.

消毒

PAEAN

The Idea of Noir: Fiction, Signifier, Genrepproach to partiality seems new in the literature on categories of partial maps, although it is certainly implicit in the computational point of view, and it relates directly to the question of modularity.

有罪

聯(lián)想記憶

An introduction to ,-categories, for . < . is an equivalence if it is invertible up to a (. + 1)-morphism that is an equivalence.) We discuss applications of weak .-categories to various subjects including homotopy theory and topological quantum field theory, and review the definition of weak .-categories recently proposed by Dolan and the author.