generated at
higher-order function
Kappa calculus - a formalism for functions which excludes higher-order functions