The theory of classification part 9: inheritance and self-reference

The construction of two different models of implementation inheritence which can be used in the major object-oriented languages is discussed. The core idea of extending and modifying object templates can be modelled using records and the union with override operator. It is stated that in the first group, which includes Java and C++, self-reference is fixed as soon as the object template is defined. The results show a very slight difference between the two models, it depeds only on when fixpoints are taken.