Pure lambda-calculus

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


Read Also:

  • Pure-land

    noun, Buddhism. 1. a paradise believed by the followers of a Mahayana sect (Pure Land sect) to be ruled over by a Buddha (Amida) whose hope it is to bring all beings into it.

  • Pure land sects

    plural noun 1. Mahayana Buddhist sects venerating the Buddha as the compassionate saviour

  • Pure-line

    noun, Genetics. 1. a uniform strain of organisms that is relatively pure genetically because of continued inbreeding and artificial selection. noun 1. a breed or strain of animals or plants in which certain characters appear in successive generations as a result of inbreeding or self-fertilization

  • Purelink

    An incremental linker from Pure Software.

Disclaimer: Pure lambda-calculus definition / meaning 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. All content on this website is for informational purposes only.