Produktbild
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

CHF 78.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

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:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.