descent function

If a recursive function is of the form 

 f x = ... f (d x) ...
then d is known as the descent function.

Nearby terms:

descent function ♦ Descriptive Intermediate Attributed Notation for Ada

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading