Modelling Multiple Inheritance with Colimits

Huimin Lin, Man-Chi Pong. Modelling Multiple Inheritance with Colimits. Formal Asp. Comput., 2(4):301-311, 1990.

Abstract

Abstract is missing.