pure lambda-calculus

Technology Dictionary -> pure lambda-calculus

Search:

pure lambda-calculus



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

(1994-10-27)