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