higher functional calculus
nounDefinition of higher functional calculus
: functional calculus in which quantification is applied not only to individual variables but also to functional and propositional variables
— called also functional calculus of the second order