76 citations · 373 across the 18 of their papers we have counts for
1 paper · 2 filters
Andreas Abel
Some type-based approaches to termination use sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accept…