## 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