EasyChair Smart Slide
On sets of terms with a given intersection type
On sets of terms with a given intersection type