You searched for: “
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; Λ, λ +
Table of Contents
Word Info Search