Chapter 12: Intersection Types

Intersection types are a powerful typing feature with which the meta-language idea of assigning two types to the same term is internalized as a type.