Similar books

Books Like Equational logic as a programming language

If you liked Equational logic as a programming language by O'Donnell, Michael J.

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

Back to Equational logic as a programming language · O'Donnell, Michael J. books in order

Recommended next reads

  1. 1 An ordinary family 2004 · 268 pages · O'Donnell, Michael J. · Same author
  2. 2 Computing in systems described by equations 1977 · 111 pages · O'Donnell, Michael J. · Same author
  3. 3 Constructivity in computer science 1992 · 246 pages · O'Donnell, Michael J. · Same author

Frequently asked questions

What should I read after Equational logic as a programming language?

BookOrb recommends An ordinary family (2004), Computing in systems described by equations (1977), and Constructivity in computer science (1992).

Are there books like Equational logic as a programming language?

Yes. The list on this page is ranked from the closest matches BookOrb has for Equational logic as a programming language.

Who wrote Equational logic as a programming language?

Equational logic as a programming language is by O'Donnell, Michael J..