pure lambda-calculus

Lambda-calculus with no constants, only functions expressed as lambda abstractions.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

beta reduction
Church integer
delta reduction
domain theory
lambda expression
lambda-calculus

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.