Books by Joseph Goguen
Algebra, meaning, and computation
Art and the brain II
Art and the Brain (Journal of Consciousness Studies: Controversies in Science & the Humanities)
Algebraic semantics of imperative programs
A categorical manifesto
A categorical manifesto
What is unification?
What is unification?
Order-sorted algebra solves th
Order-sorted algebra solves the constructor-selector, multiple representation and coercion problems
A study in the foundations of
A study in the foundations of programming methodology
Crew communications as a facto
Crew communications as a factor in aviation accidents
Linguistic methodology for the
Linguistic methodology for the analysis of aviation accidents
Categories of fuzzy sets
Categories of fuzzy sets