Abstract is missing.
- IntroductionSamson Abramsky. 3-6
- CategoriesDavid H. Pitt. 6-15
- Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) LimitsAxel Poigné. 16-42
- Functors and Natural TransformationsDavid E. Rydeheard. 43-50
- AdjunctionDavid E. Rydeheard. 51-57
- Cartesian Closure - Higher Types in CategoriesAxel Poigné. 58-75
- Algebra CategoricallyAxel Poigné. 76-102
- Category Theory and LogicAxel Poigné. 103-142
- Categories, Data Types and Imperative LanguagesEric G. Wagner. 143-162
- Category Theory and Programming Language Semantics: an OverviewPeter Dybjer. 165-181
- Weakest Preconditions: Categorical InsightsErnest G. Manes. 182-197
- A Categorical View of Weakest Liberal PreconditionsEric G. Wagner. 198-205
- Functor - Category Semantics of Programming Languages and LogicsRobert D. Tennent. 206-224
- Finite Approximation of SpacesMichael B. Smyth. 225-241
- Categories of Partial Morphisms and the lambda:::p::: - CalculusEugenio Moggi. 242-251
- A Note on Distributive Laws and Power DomainsAxel Poigné. 252-265
- Category Theory and Models for Parallel ComputationGlynn Winskel. 266-281
- Categorical Models of Process CooperationAnna Labella, Alberto Pettorossi. 282-298
- Calois Connections and Computer Science ApplicationsAustin Melton, David A. Schmidt, George E. Strecker. 299-312
- A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and ParchmentsJoseph A. Goguen, Rod M. Burstall. 313-333
- Bits and Pieces of the Theory of InstitutionsAndrzej Tarlecki. 334-365
- Extended ML: an Institution - Independent Framework for Formal Program DevelopmentDonald Sannella, Andrzej Tarlecki. 364-389
- Behavioral Program SpecificationHorst Reichel. 390-411
- Key Extensions of Abstract Data Types, Final Algebras, and Database SemanticsHans-Dieter Ehrich. 412-433
- Theories as CategoriesMichael P. Fourman, Steven Vickers. 434-448
- Internal Completeness of Categories of DomainsPaul Taylor 0002. 449-465
- Formalizing the Network and Hierarchical Data Models - an Application of Categorical LogicJohn Cartmell. 466-492
- A Categorical Unification AlgorithmDavid E. Rydeheard, Rod M. Burstall. 493-505
- Computing with CategoriesDavid E. Rydeheard, Rod M. Burstall. 506-519