Order-sorted algebra solves the constructor-selector, multip
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
6 min read
Rate this book:
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Know this book?
Help other readers discover this title by sharing your thoughts. Be the first to write a review.
Share Your Thoughts
Sign in to write a review.
More by Joseph Goguen
A categorical manifesto
A categorical manifesto
A study in the foundations of
A study in the foundations of programming methodology
Algebra, meaning, and computation
Algebraic semantics of imperative programs
Art and the Brain (Journal of Consciousness Studies: Controversies in Science & the Humanities)
Art and the brain II