English Intersection type Cited by user Mrhaandi on 15 Aug 2019 In type theory, an intersection type can be allocated to values that can be assigned both the type in an intersection type system.