dict.org

The DICT Development Group


Search for:
Search type:
Database:

Database copyright information
Server information


1 definition found
 for pure lambda-calculus
From The Free On-line Dictionary of Computing (30 December 2018) :

  pure lambda-calculus
  
     Lambda-calculus with no constants, only functions expressed
     as lambda abstractions.
  
     (1994-10-27)
  

Contact=webmaster@dict.org Specification=RFC 2229