इसका टेक्स्ट मैसेज भेजे: Intersection types and higer-order model checking