## 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, OneLook, Google

Loading