On the Role of Category Theory in the Area of Algebraic Specification.

Hartmut Ehrig, Martin Groe-Rhode, Uwe Wolter

Browse the full COMPASS paper archive.