Well-founded recursion - a podcast by Aaron Stump

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

Further episodes of Iowa Type Theory Commute

Further podcasts by Aaron Stump

Website of Aaron Stump