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

Last update Sat May 18 20:24:31 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page