pure lambda-calculus
Lambda-calculus with no constants, only functions expressed as lambda abstractions.Last updated: 1994-10-27
Nearby terms:
pure functional language ♦ pure lambda-calculus ♦ PureLink ♦ Pure Lisp
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
