Errata for Algebraic Semantics of
Joseph Goguen and Grant Malcolm, MIT Press, 1996.
- page 14, Figure 1.2: The sort labelled
Nat should instead be
Exp (thanks to Joe Hendrix).
- page 30, Definition 14: The expression
Xi)s should be just
- page 31: the equation [SM] should end with
- page 35: the third equation should end with
- page 39: the last equation of
NATEXPEQ should end with
- page 84: the first expression should end with
Suggestions for additions to this list from readers will be greatly
Return to the book's home page
Return to my publications page
Return to my home page