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