- Lutz Schröder:
Classifying categories for partial equational logic. CTCS 2002: 305-322 - Paul Taylor:
Local Compactness and the Baire Category Theorem in Abstract Stone Duality. CTCS 2002: 323-345 - Krzysztof Worytkiewicz:
Paths and Simulations. CTCS 2002: 346-361 - Richard Blute, Peter Selinger:
Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002. Electronic Notes in Theoretical Computer Science 69, Elsevier 2002 [contents] - 1999
- Marek A. Bednarczyk, Andrzej M. Borzyszkowski:
Concurrent Realizations of Reactive Systems. CTCS 1999: 2-20 - Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
Functorial semantics for Petri nets under the individual token philosophy. CTCS 1999: 21 - Anna Bucalo, Carsten Führmann, Alex K. Simpson:
Equational Lifting Monads. CTCS 1999: 22 - Francisco Durán, José Meseguer:
Structured Theories and Institutions. CTCS 1999: 23-41 - Adam Eppendahl:
Coalgebra-to-Algebra Morphisms. CTCS 1999: 42-49 - Lindsay Errington:
On the Semantics of Message Passing Processes. CTCS 1999: 50-77 - Marcelo P. Fiore:
Fibred models of processes. CTCS 1999: 78 - Peter J. Freyd:
Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? CTCS 1999: 79 - Fabio Gadducci, Reiko Heckel, Mercè Llabrés:
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. CTCS 1999: 80-100 - Ryu Hasegawa:
Several Applications of Analytic Functors to Theoretical Computer Science. CTCS 1999: 101 - Thomas T. Hildebrandt:
A Fully abstract presheaf semantics for SCCS with finite delay. CTCS 1999: 102-126 - Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic:
Preface. CTCS 1999: 1 - Martin Hyland, Andrea Schalk:
Abstract Games for Linear Logic. CTCS 1999: 127-150 - Thong wei Koh, C.-H. Luke Ong:
Internal Languages for Autonomous and *-Autonomous Categories. CTCS 1999: 151 - Zhaohui Luo, Sergei Soloviev:
Dependent Coercions. CTCS 1999: 152-168 - Paulo Mateus, Amílcar Sernadas, Cristina Sernadas:
Precategories for combining probabilistic automata. CTCS 1999: 169-186 - Eugenio Moggi, Gianna Bellè, C. Barry Jay:
Monads, shapely functors, and traversals. CTCS 1999: 187-208 - Andrzej S. Murawski, C.-H. Luke Ong:
Exhausting Strategies, Joker Games and IMLL with Units. CTCS 1999: 209-239 - Jan Paseka:
Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality. CTCS 1999: 240-258 - John Power, Daniele Turi:
A Coalgebraic Foundation for Linear Time Semantics. CTCS 1999: 259-274 - Douglas R. Smith:
Designware: Software Development by Refinement. CTCS 1999: 275-287 - Thomas Streicher:
Denotational Completeness Revisited. CTCS 1999: 288-300 - Hideki Tsuiki:
A domain-theoretic semantics of lax generic functions. CTCS 1999: 301-324 - Martin Wehr:
Higher-dimensional syntax. CTCS 1999: 325-353 - Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic:
Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999. Electronic Notes in Theoretical Computer Science 29, Elsevier 1999 [contents] - 1997
- Alexander E. Andreev, Sergei Soloviev:
A Deciding Algorithm for Linear Isomorphism of Types with Complexity O (n log2(n)). Category Theory and Computer Science 1997: 197-209