If you liked Computing in systems described by equations by O'Donnell, Michael J., start with Equational logic as a programming language (1985), Constructivity in computer science (1992), and An ordinary family (2004). These recommendations are drawn from the same author, shared genres, and reader overlap on BookOrb.

Back to Computing in systems described by equations · O'Donnell, Michael J. books in order

Recommended next reads

  1. 1 Equational logic as a programming language 1985 · 296 pages · O'Donnell, Michael J. · Same author
  2. 2 Constructivity in computer science 1992 · 246 pages · O'Donnell, Michael J. · Same author
  3. 3 An ordinary family 2004 · 268 pages · O'Donnell, Michael J. · Same author

Frequently asked questions

What should I read after Computing in systems described by equations?

BookOrb recommends Equational logic as a programming language (1985), Constructivity in computer science (1992), and An ordinary family (2004).

Are there books like Computing in systems described by equations?

Yes. The list on this page is ranked from the closest matches BookOrb has for Computing in systems described by equations.

Who wrote Computing in systems described by equations?

Computing in systems described by equations is by O'Donnell, Michael J..