The DICT Development Group

Search for:
Search type:

Database copyright information
Server information
Wiki: Resources, links, and other information

1 definition found
 for pure lambda-calculus
From The Free On-line Dictionary of Computing (18 March 2015) :

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

Questions or comments about this site? Contact webmaster@dict.org