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. Springer 1997 Lecture Notes in Computer Science 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
- Daniele Turi: Categorical Modelling of Structural Operational Rules: Case Studies. 127-146
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team