descent functioncomputing dictionary

If a recursive function is of the form

 f x = ... f (d x) ...

then d is known as the descent function.

(03 Feb 2009)