Table of contents Indexes
Term 

type derivation, subtyping, inheritance 

 
Mentioned  
  Derivation by transformation type derivation, subtyping,
Table of contents Indexes