You searched for:
“lambda calculus”

lambda calculus

A mathematical formalization of the rules of substitution; used for modeling the process of substituting values for bound variables.

This entry is located in the following unit:
lambda; Λ, λ +
(page 1)