2
$\begingroup$

Is there any difference between a $\lambda$-term and a $\lambda$-expression?

Looking at the recursive definitions on Wikipedia of $\lambda$-term and $\lambda$-expression, they are equivalent. But I am confused as they are slightly different and refer to what they define by a different name.

| cite | improve this question | | | | |
$\endgroup$
2
$\begingroup$

Books on lambda calculus define only lambda terms. Some programming languages may call anonymous function lambda expressions.

| cite | improve this answer | | | | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.