Subsections:
A simple type calculus
Intersection types
Bounded polymorphism