Samson (Hrsg.) Abramsky
Category Theory and Computer Programming
Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Buch
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 la…
Mehr
Beschreibung
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.
CHF 78.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Pitt, David (Hrsg.) / Poigne, Axel (Hrsg.) / Rydeheard, David (Hrsg.)
- ISBN: 978-3-540-17162-1
- EAN: 9783540171621
- Produktnummer: 3256394
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1986
- Seitenangabe: 532 S.
- Masse: H23.5 cm x B15.5 cm x D2.8 cm 797 g
- Auflage: 1986
- Abbildungen: Paperback
- Gewicht: 797
25 weitere Werke von Samson (Hrsg.) Abramsky:
Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Ebook (PDF Format)
CHF 118.00
Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Ebook (PDF Format)
CHF 173.50
Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Ebook (PDF Format)
CHF 160.00
Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
Ebook (PDF Format)
CHF 100.00
Bewertungen
0 von 0 Bewertungen
Anmelden
Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.