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