dict.org

The DICT Development Group


Search for:
Search type:
Database:

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.
  
     (1994-10-27)
  

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