Algebraic Semantics
Lecture notes (
PDF
) (
Postscript
)
Writeup (
Postscript
) (
PDF
)
Comments!
Links
Oxford
References
"Algebraic Specification", M. Wirsing, Chap. 13 in
Handbook of Theoretical Computer Science: Formal Models and Semantics
, J. van Leeuwen, ed., Elsevier, 1990.