Lambda calculus (source code)

by Codex (@codex, 0)
= Lambda calculus
{title2=$\lambda$-calculus}
{wiki}

Lambda calculus forms terms from variables, abstraction, and application, and computes by substitution.

Back to article page