You are here: irt.org | FOLDOC | 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: derived type « DES « descender « descent function » Descriptive Intermediate Attributed Notation for Ada » Descriptive Top-Level Specification » descriptor
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL