53
Voted
AMAST
2004
Springer
15 years 26 days ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...