6 citations · 15 across the 9 of their papers we have counts for
1 paper · 1 filter
Łukasz Czajka, Cynthia Kop
We generalise the termination method of higher-order polynomial interpretations to a setting with impredicative polymorphism. Instead of using weakly monotonic functionals, we inte…