Structure of Type Repository
The type repository is defined in terms of a series of meta-levels. Typically:
Its own descriptive system;
the specifics of each type system;
the specifics of each type.
TR type system
description
type system
description
type
description
Previous slide
Next slide
Back to first slide
View graphic version