English Intersection type Cited by user Lithopsian on 01 Aug 2019 In type theory, an intersection type describes a value that belongs to both of two other given types.