On the Role of Category Theory in the Area of Algebraic Specification
Authors:
Hartmut Ehrig;Martin Große-Rhode;Uwe Wolter
Affiliations:
-;-;-
Venue:
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification