Volume 122, March 2005

Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004)

• 
  Lars Birkedal: Preface. 1-
• 
  Mario Cáccamo, Glynn Winskel: Limit Preservation from Naturality. 3-22
• 
  J. Robin B. Cockett, Craig A. Pastro: A Language For Multiplicative-additive Linear Logic. 23-65
• 
  Esfandiar Haghverdi, Philip J. Scott: From Geometry of Interaction to Denotational Semantics. 67-87
• 
  Ana Paula Lüdtke Ferreira, Leila Ribeiro: A Graph-based Semantics For Object-oriented Programming Constructs. 89-104
• 
  Maria Emilia Maietti: Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe. 105-126
• 
  Markus Michelbrink, Anton Setzer: State Dependent IO-Monads in Type Theory. 127-146
• 
  Jirí Adámek, Stefan Milius, Jiri Velebil: Iterative Algebras for a Base. 147-170
• 
  Paul-André Melliès: Asynchronous Games 3 An Innocent Model of Linear Logic. 171-192
• 
  Andrea Schalk, José Juan Palacios Pérez: Concrete Data Structures as Games. 193-210
• 
  Ana Sokolova, Erik P. de Vink, Harald Woracek: Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). 211-228
• 
  Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao: A Coalgebraic Semantic Framework for Component-based Development in UML. 229-245
• 
  Paul Taylor: Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe. 247-296