Volume 29, 1999

CTCS '99 Conference on Category Theory and Computer Science
Edinburgh (UK), 10-12 September 1999
Guest Editors: Martin Hofmann, Giuseppe Rosolini and Dusko Pavlovic

• 
  Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic: Preface. 1
• 
  Marek A. Bednarczyk, Andrzej M. Borzyszkowski: Concurrent Realizations of Reactive Systems. 2-20
• 
  Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone: Functorial semantics for Petri nets under the individual token philosophy. 21
• 
  Anna Bucalo, Carsten Führmann, Alex K. Simpson: Equational Lifting Monads. 22
• 
  Francisco Durán, José Meseguer: Structured Theories and Institutions. 23-41
• 
  Adam Eppendahl: Coalgebra-to-Algebra Morphisms. 42-49
• 
  Lindsay Errington: On the Semantics of Message Passing Processes. 50-77
• 
  Marcelo P. Fiore: Fibred models of processes. 78
• 
  Peter J. Freyd: Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? 79
• 
  Fabio Gadducci, Reiko Heckel, Mercè Llabrés: A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. 80-100
• 
  Ryu Hasegawa: Several Applications of Analytic Functors to Theoretical Computer Science. 101
• 
  Thomas T. Hildebrandt: A Fully abstract presheaf semantics for SCCS with finite delay. 102-126
• 
  Martin Hyland, Andrea Schalk: Abstract Games for Linear Logic. 127-150
• 
  Thong wei Koh, C.-H. Luke Ong: Internal Languages for Autonomous and *-Autonomous Categories. 151
• 
  Zhaohui Luo, Sergei Soloviev: Dependent Coercions. 152-168
• 
  Paulo Mateus, Amílcar Sernadas, Cristina Sernadas: Precategories for combining probabilistic automata. 169-186
• 
  Eugenio Moggi, Gianna Bellè, C. Barry Jay: Monads, shapely functors, and traversals. 187-208
• 
  Andrzej S. Murawski, C.-H. Luke Ong: Exhausting Strategies, Joker Games and IMLL with Units. 209-239
• 
  Jan Paseka: Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices with a Duality. 240-258
• 
  John Power, Daniele Turi: A Coalgebraic Foundation for Linear Time Semantics. 259-274
• 
  Douglas R. Smith: Designware: Software Development by Refinement. 275-287
• 
  Thomas Streicher: Denotational Completeness Revisited. 288-300
• 
  Hideki Tsuiki: A domain-theoretic semantics of lax generic functions. 301-324
• 
  Martin Wehr: Higher-dimensional syntax. 325-353