↓ Skip to main content

Category Theory and Computer Programming

Overview of attention for book
Cover of 'Category Theory and Computer Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 113 Categories
  3. Altmetric Badge
    Chapter 114 Elements of categorical reasoning : Products and coproducts and some other (co-)limits
  4. Altmetric Badge
    Chapter 115 Functors and natural transformations
  5. Altmetric Badge
    Chapter 116 Adjunctions
  6. Altmetric Badge
    Chapter 117 Cartesian closure — Higher types in categories
  7. Altmetric Badge
    Chapter 118 Algebra categorically
  8. Altmetric Badge
    Chapter 119 Category theory and logic
  9. Altmetric Badge
    Chapter 120 Categories, data types, and imperative languages
  10. Altmetric Badge
    Chapter 121 Category theory and programming language semantics: An overview
  11. Altmetric Badge
    Chapter 122 Weakest preconditions: Categorical insights
  12. Altmetric Badge
    Chapter 123 A categorical view of weakest liberal preconditions
  13. Altmetric Badge
    Chapter 124 Functor-category semantics of programming languages and logics
  14. Altmetric Badge
    Chapter 125 Finite approximation of spaces
  15. Altmetric Badge
    Chapter 126 Categories of partial morphisms and the λ P -calculus
  16. Altmetric Badge
    Chapter 127 A note on distributive laws and power domains
  17. Altmetric Badge
    Chapter 128 Category Theory and Computer Programming
  18. Altmetric Badge
    Chapter 129 Categorical models of process cooperation
  19. Altmetric Badge
    Chapter 130 Galois connections and computer science applications
  20. Altmetric Badge
    Chapter 131 A study in the foundations of programming methodology: Specifications, institutions, charters and parchments
  21. Altmetric Badge
    Chapter 132 Bits and pieces of the theory of institutions
  22. Altmetric Badge
    Chapter 133 Extended ML: An institution-independent framework for formal program development
  23. Altmetric Badge
    Chapter 134 Behavioural program specification
  24. Altmetric Badge
    Chapter 135 Key extensions of abstract data types, final algebras, and database semantics
  25. Altmetric Badge
    Chapter 136 Theories as categories
  26. Altmetric Badge
    Chapter 137 Internal completeness of categories of domains
  27. Altmetric Badge
    Chapter 138 Formalising the network and hierarchical data models — an application of categorical Logic
  28. Altmetric Badge
    Chapter 139 A categorical unification algorithm
  29. Altmetric Badge
    Chapter 140 Computing with categories
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Category Theory and Computer Programming
Published by
Springer Berlin Heidelberg, October 1986
DOI 10.1007/3-540-17162-2
ISBNs
978-3-54-017162-1, 978-3-54-047213-1
Editors

Pitt, David, Abramsky, Samson, Poigné, Axel, Rydeheard, David

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Other 1 100%
Readers by discipline Count As %
Decision Sciences 1 100%