50 citations · 50 across the 1 of their papers we have counts for
1 paper
Andreas Abel
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track s…