Well-founded recursion

Published: May 19, 2020, 4 a.m.

b'

Well-founded recursion is a technique to turn recursion which decreases along a well-founded ordering into a structural recursion.

'