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

Poigne, Axel; Rydeheard, David; Pitt, David; Abramsky, Samson

 
9783540171621: Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings: 240
Brossura
ISBN 10: 3540171622 ISBN 13: 9783540171621
Casa editrice: Springer, 2008

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540171622
ISBN 13 
9783540171621
Rilegatura
Copertina flessibile
Numero di pagine
532
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0387171622 ISBN 13:  9780387171623
Casa editrice: New York Bound, 1986
Rilegato