12 citations · 17 across the 11 of their papers we have counts for
1 paper · 2 filters
Naohi Eguchi
Usual termination proofs for a functional program require to check all the possible reduction paths. Due to an exponential gap between the height and size of such the reduction tre…