pure lambda-calculus

Babylon 8 - Your all-in-one solution

Award winning translation software trusted by millions. Translate from any language to any language.

Lambda-calculus with no constants, only functions expressed as lambda abstractions.
(1994-10-27)

Define pure lambda-calculus