OntoLog

<lambda_calculus_core>

PRIMITIVES
──────────
ο (omicron) : Base      — The grounded entity, input variable
τ (tau)     : Terminal  — The target purpose, output variable  
λ (lambda)  : Operation — The transformation, abstraction

UNIVERSAL FORM
──────────────
λο.τ : Base → Terminal