Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings by David PittCategory Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings by David Pitt

Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20…

EditorDavid Pitt, Samson Abramsky, Axel Poigne

Paperback | October 1, 1986

Pricing and Purchase Info

$93.56 online 
$103.95 list price save 9%
Earn 468 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20…Format:PaperbackDimensions:526 pages, 9.25 × 6.1 × 0.01 inPublished:October 1, 1986Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540171622

ISBN - 13:9783540171621

Look for similar items by category:

Reviews

Table of Contents

Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limits.- Functors and natural transformations.- Adjunctions.- Cartesian closure - Higher types in categories.- Algebra categorically.- Category theory and logic.- Categories, data types, and imperative languages.- Category theory and programming language semantics: An overview.- Weakest preconditions: Categorical insights.- A categorical view of weakest liberal preconditions.- Functor-category semantics of programming languages and logics.- Finite approximation of spaces.- Categories of partial morphisms and the ?P-calculus.- A note on distributive laws and power domains.- Category theory and models for parallel computation.- Categorical models of process cooperation.- Galois connections and computer science applications.- A study in the foundations of programming methodology: Specifications, institutions, charters and parchments.- Bits and pieces of the theory of institutions.- Extended ML: An institution-independent framework for formal program development.- Behavioural program specification.- Key extensions of abstract data types, final algebras, and database semantics.- Theories as categories.- Internal completeness of categories of domains.- Formalising the network and hierarchical data models - an application of categorical Logic.- A categorical unification algorithm.- Computing with categories.