Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories

Joseph A. Goguen, Rod M. Burstall. Some Fundamental Algebraic Tools for the Semantics of Computation. Part 1: Comma Categories, Colimits, Signatures and Theories. Theoretical Computer Science, 31:175-209, 1984.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.