Some fundamental algebraic tools for the semantics of computation. Part 2: Signed and abstract theories

  • Goguen J
  • Burstall R
  • 5


    Mendeley users who have this article in their library.
  • 14


    Citations of this article.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • J. A. Goguen

  • R. M. Burstall

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free