Variable binding term operators in $\lambda $-calculus.

A variable binding term operator (vbto) is any operator which binds one or more variables in a term or well formed formula. We will represent an arbitrary vbto by v and the result of applying it to a term or wf F(x) by vxF(x). Examples are proper integrals (vxF(x) = Jh F{x)dx), all integral transfor... View More