交差型
⇒ 交叉型(こうさがた、intersection types)のこと。