English Intersection type discipline Cited by user Mrhaandi on 07 Aug 2019 In mathematical logic, the intersection type discipline is a branch of type theory encompassing type systems that use the intersection type constructor