CTCS

Keyphrases

Publications

volume 122, 2005

Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004 CTCS 122 (2005)

2004

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

2002

volume 69, 2002

Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002 CTCS 69 (2002)

1999

volume 29, 1999

Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999 CTCS 29 (1999)