Towards an Intersection Typed System à la Church
Keywords: محاسبات لامبدا تایپ شده; Typed lambda calculus; intersection type; Church type assignment system; Curry-Howard correspondence;