WARNING
This article uses Unofficial terminology.
A term is a syntactic element of a formula. Each term has a data type that defines what operations can be performed on it.
Lambda terms
Main article: Lambda terms
Lambda terms are first-class. They can be passed as arguments to other functions, returned from other functions, and be assigned to variables. They are comprised of |literals and LAMBDA functions.
Primitive functions
Primitive functions are not first-class and comprise every default function. The only operation that can be performed on primitive functions is application (e.g. applying them to lambda terms, such as SUM(1, 2, 3)
).