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
