Category Theory and Computer Science

Keyphrases

Publications

1997

Ulrich Hensel, Bart Jacobs
Proof Principles for Datatypes with Iterated Recursion. Category Theory and Computer Science (1997)
Gian Luca Cattani, Ian Stark, Glynn Winskel
Presheaf Models for the pi-Calculus. Category Theory and Computer Science (1997)
Paul-André Melliès
A Factorisation Theorem in Rewriting Theory. Category Theory and Computer Science (1997)
Andrea Corradini, Fabio Gadducci
A 2-Categorical Presentation of Term Graph Rewriting. Category Theory and Computer Science (1997)
Christoph Lüth, Neil Ghani
Monads and Modular Term Rewriting. Category Theory and Computer Science (1997)
C. Barry Jay
Separating Shape from Data. Category Theory and Computer Science (1997)
Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
Combining and Representing Logical Systems. Category Theory and Computer Science (1997)
Paul F. Hoogendijk, Roland Carl Backhouse
When Do Datatypes Commute? Category Theory and Computer Science (1997)
Anna Bucalo, Giuseppe Rosolini
Lifting. Category Theory and Computer Science (1997)
Uwe Wolter, Alfio Martini
Shedding the New Light in the World of Logical Systems. Category Theory and Computer Science (1997)
Daniele Turi
Categorical Modelling of Structural Operational Rules: Case Studies. Category Theory and Computer Science (1997)
Dusko Pavlovic, Samson Abramsky
Specifying Interaction Categories. Category Theory and Computer Science (1997)
S. Kazem Lellahi, Val Tannen
A Calculus for Collections and Aggregates. Category Theory and Computer Science (1997)
Bernhard Reus, Thomas Streicher
General Synthetic Domain Theory - A Logical Approach. Category Theory and Computer Science (1997)
Alexander E. Andreev, Sergei Soloviev
(n)). Category Theory and Computer Science (1997)
Klaus Weihrauch, Xizhong Zheng
Effectiveness of the Global Modulus of Continuity on Metric Spaces. Category Theory and Computer Science (1997)
Richard S. Bird
Allegories as a Basis for Algorithmics. Category Theory and Computer Science (1997)
John C. Baez
-Categories. Category Theory and Computer Science (1997)

1995

1991