Electronic Notes in Theoretical Computer Science, Volume 122

Volume 122, March 2005

• 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