7 citations · 16 across the 7 of their papers we have counts for
1 paper · 1 filter
Andrew Polonsky, Richard Statman
Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersect…