If a recursive function is of the form
f x = ... f (d x) ...then d is known as the descent function.
Try this search on Wikipedia, OneLook, Google
Nearby terms: derived type « DES « descender « descent function » Descriptive Intermediate Attributed Notation for Ada » Descriptive Top-Level Specification » descriptor
