Nominative and structural type systems

Nominative and structural type systems are:

The differences between nominative and structural type systems are discussed in: