Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K. September 16–20, 1985 Proceedings

Categories....Pages 1-15
Elements of categorical reasoning : Products and coproducts and some other (co-)limits....Pages 16-42
Functors and natural transformations....Pages 43-50
Adjunctions....Pages 51-57
Cartesian closure — Higher types in categories....Pages 58-75
Algebra categorically....Pages 76-102
Category theory and logic....Pages 103-142
Categories, data types, and imperative languages....Pages 143-162
Category theory and programming language semantics: An overview....Pages 163-181
Weakest preconditions: Categorical insights....Pages 182-197
A categorical view of weakest liberal preconditions....Pages 198-205
Functor-category semantics of programming languages and logics....Pages 206-224
Finite approximation of spaces....Pages 225-241
Categories of partial morphisms and the λ P -calculus....Pages 242-251
A note on distributive laws and power domains....Pages 252-265
Category theory and models for parallel computation....Pages 266-281
Categorical models of process cooperation....Pages 282-298
Galois connections and computer science applications....Pages 299-312
A study in the foundations of programming methodology: Specifications, institutions, charters and parchments....Pages 313-333
Bits and pieces of the theory of institutions....Pages 334-363
Extended ML: An institution-independent framework for formal program development....Pages 364-389
Behavioural program specification....Pages 390-411
Key extensions of abstract data types, final algebras, and database semantics....Pages 412-433
Theories as categories....Pages 434-448
Internal completeness of categories of domains....Pages 449-465
Formalising the network and hierarchical data models — an application of categorical Logic....Pages 466-492
A categorical unification algorithm....Pages 493-505
Computing with categories....Pages 506-517