pure lambda-calculus

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

Last updated: 1994-10-27

Nearby terms:

pure functional languagepure lambda-calculusPureLinkPure Lisp

Try this search on Wikipedia, OneLook, Google


Loading