The SCEAS System
Navigation Menu

Conferences in DBLP

Category Theory and Computer Science (ctcs)
1997 (conf/ctcs/1997)

  1. John C. Baez
    An Introduction to n-Categories. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:1-33 [Conf]
  2. Richard S. Bird
    Allegories as a Basis for Algorithmics. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:34-46 [Conf]
  3. C. Barry Jay
    Separating Shape from Data. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:47-48 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Dusko Pavlovic, Samson Abramsky
    Specifying Interaction Categories. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:147-158 [Conf]
  10. 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]
  11. 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]
  12. Alexander E. Andreev, Sergei Soloviev
    A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log2(n)). [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:197-209 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. Anna Bucalo, Giuseppe Rosolini
    Lifting. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:281-292 [Conf]
  18. 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002