 An extended type system, that is often called the intersection type discipline, is due to Mario Coppo and Mariangiola Dezani-Ciancaglini. The set of intersection types (denoted by wff) is defined as follows.