catflap.org Online Dictionary Query

Query string:
Search type:
Database:

Database copyright information
Server information

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) : [ foldoc ]


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

Questions or comments about this site? Contact dictionary@catflap.org Access Stats