Categorical Concepts for Parameterized Partial Specifications

Ingo Claßen, Martin Große-Rhode, Uwe Wolter. Categorical Concepts for Parameterized Partial Specifications. Mathematical Structures in Computer Science, 5(2):153-188, 1995.

Abstract

Abstract is missing.