default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > Category Theory and Computer Science

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.