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

后天習(xí)得

Specifying interaction categories,alysed without fixing a set of axioms, merely in terms of the way in which they are specified —just like algebras are analysed in terms of equations and relations, independently on abstract characterisations of their varieties.

PAGAN

ELUDE

When Do Datatypes Commute?,atatypes that one can define in a functional programming language) do indeed commute according to our specification. The framework we use is the theory of allegories, a combination of category theory with the pointfree relation calculus.

大溝

Lifting,pproach 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.

復(fù)習(xí)

歌唱隊(duì)

不可磨滅

0302-9743 atical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.978-3-540-63455-3978-3-540-69552-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

LASH

ESPY

粗鄙的人