functional
-ate
beta reduce
pentafunctional
Baire function
preimage
caller
invariant
built-in function
functionally
primitive recursive
crossfunctional
provision
proviso
composition
declare
tail recursion
inverse trigonometric function
heptafunctional
specifiable
logic operation
purpose
logical operation
organized
higher-order function
semimeasure
perform
differentiate
subadditivity
birational
transform
Herbrand function
Kan extension
multifunctionalized
in-line expansion
autoconvolution
suspension
differentiated
domain
linearly
precondition
specify
algebraic structure
complexity function
monotone function
local class
antiderivative