descent function

Technology Dictionary -> descent function

Search:

descent function



If a recursive function is of the form

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

then d is known as the descent function.