7. Category Theory and Computer Science 1997: Santa Margherita Ligure, Italy

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 BibTeX

@proceedings{DBLP:conf/ctcs/1997,
  editor    = {Eugenio Moggi and
               Giuseppe Rosolini},
  title     = {Category Theory and Computer Science, 7th International Conference,
               CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997,
               Proceedings},
  booktitle = {CTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1290},
  year      = {1997},
  isbn      = {3-540-63455-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

John C. Baez: An Introduction to n-Categories. 1-33 BibTeX
Richard S. Bird: Allegories as a Basis for Algorithmics. 34-46 BibTeX
C. Barry Jay: Separating Shape from Data. 47-48 BibTeX
Paul-André Melliès: A Factorisation Theorem in Rewriting Theory. 49-68 BibTeX
Christoph Lüth, Neil Ghani: Monads and Modular Term Rewriting. 69-86 BibTeX
Andrea Corradini, Fabio Gadducci: A 2-Categorical Presentation of Term Graph Rewriting. 87-105 BibTeX
Gian Luca Cattani, Ian Stark, Glynn Winskel: Presheaf Models for the pi-Calculus. 106-126 BibTeX
Daniele Turi: Categorical Modelling of Structural Operational Rules: Case Studies. 127-146 BibTeX
Dusko Pavlovic, Samson Abramsky: Specifying Interaction Categories. 147-158 BibTeX
Uwe Wolter, Alfio Martini: Shedding the New Light in the World of Logical Systems. 159-176 BibTeX
Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski: Combining and Representing Logical Systems. 177-196 BibTeX
Alexander E. Andreev, Sergei Soloviev: A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log²(n)). 197-209 BibTeX
Klaus Weihrauch, Xizhong Zheng: Effectiveness of the Global Modulus of Continuity on Metric Spaces. 210-219 BibTeX
Ulrich Hensel, Bart Jacobs: Proof Principles for Datatypes with Iterated Recursion. 220-241 BibTeX
Paul F. Hoogendijk, Roland Carl Backhouse: When Do Datatypes Commute? 242-260 BibTeX
S. Kazem Lellahi, Val Tannen: A Calculus for Collections and Aggregates. 261-280 BibTeX
Anna Bucalo, Giuseppe Rosolini: Lifting. 281-292 BibTeX
Bernhard Reus, Thomas Streicher: General Synthetic Domain Theory - A Logical Approach. 293-313 BibTeX