3 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Ori Roth
This is a study of the computing power of the subtyping machine behind Kennedy and Pierce's nominal subtyping with variance. We depict the lattice of fragments of Kennedy and Pierc…