# 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.
Java (programming language) | Total Nonstop Action Wrestling | Python (programming language) | Computer programming | Total Request Live | Total S.A. | Total | Ruby (programming language) | Radio programming | Object-oriented programming | Neuro-linguistic programming | Automatic programming | High-level programming language | NFL Total Access | Haskell (programming language) | functional analysis | Functional constituency | Lisp (programming language) | Application programming interface | Ada (programming language) | Pascal (programming language) | computer programming | TV total | The Art of Computer Programming | neuro-linguistic programming | Low-level programming language | Functional magnetic resonance imaging | Total Experience Records | Total Eclipse of the Heart | Medieval II: Total War |