Intersection type discipline
branch of type theory