Eugenio Moggi, Giuseppe Rosolini (Eds.):
Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings.
Lecture Notes in Computer Science 1290 Springer 1997, ISBN 3-540-63455-X 
- John C. Baez:
An Introduction to n-Categories.
1-33
- Richard S. Bird:
Allegories as a Basis for Algorithmics.
34-46
- C. Barry Jay:
Separating Shape from Data.
47-48
- Paul-André Melliès:
A Factorisation Theorem in Rewriting Theory.
49-68
- Christoph Lüth, Neil Ghani:
Monads and Modular Term Rewriting.
69-86
- Andrea Corradini, Fabio Gadducci:
A 2-Categorical Presentation of Term Graph Rewriting.
87-105
- Gian Luca Cattani, Ian Stark, Glynn Winskel:
Presheaf Models for the pi-Calculus.
106-126
- Daniele Turi:
Categorical Modelling of Structural Operational Rules: Case Studies.
127-146
- Dusko Pavlovic, Samson Abramsky:
Specifying Interaction Categories.
147-158
- Uwe Wolter, Alfio Martini:
Shedding the New Light in the World of Logical Systems.
159-176
- Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski:
Combining and Representing Logical Systems.
177-196
- Alexander E. Andreev, Sergei Soloviev:
A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log2(n)).
197-209
- Klaus Weihrauch, Xizhong Zheng:
Effectiveness of the Global Modulus of Continuity on Metric Spaces.
210-219
- Ulrich Hensel, Bart Jacobs:
Proof Principles for Datatypes with Iterated Recursion.
220-241
- Paul F. Hoogendijk, Roland Carl Backhouse:
When Do Datatypes Commute?
242-260
- S. Kazem Lellahi, Val Tannen:
A Calculus for Collections and Aggregates.
261-280
- Anna Bucalo, Giuseppe Rosolini:
Lifting.
281-292
- Bernhard Reus, Thomas Streicher:
General Synthetic Domain Theory - A Logical Approach.
293-313
Last update Sat May 18 18:20:16 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
