generated at
first-class function
Kappa calculus – a formalism which excludes first-class functions