# A restricted form of recursion, which operates only upon ‘reduced’ forms of its arguments, such as Walther recursion, substructural recursion, or "strongly normalizing" as proven by abstract interpretation of code.
Walther Hermann Richard Horn | Walther arms | Walther | Walther Rathenau | Walther P99 | Walther P38 | Walther Kossel | Recursion | Walther von der Vogelweide | Walther Funk | Walther Flemming | Walther Cloos | Richard Walther Darré | Ehrenfried Walther von Tschirnhaus | Walther von Dyck | Walther's Law | Walther recursion | Walther P22 | Walther Hesse | Walther Eidlitz | Walther Dahl | Walther Buhle | Walther Berthold Raster | Walther Bauersfeld | Thomas Walther | recursion | Kleene's recursion theorem | Kerstin Walther | Joseph Walther | BCFW recursion |