descent function

Từ điển Máy Tính - Foldoc Dictionary

descent function

If a recursive function is of the form

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

then d is known as the descent function.