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