Electronic Notes in Theoretical Computer Science, Volume 122

Volume 122, March 2005

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